Merge branch 'dev'
[bertos.git] / boards / arduino / benchmark / .spec
1 name="Benchmarks"
2 ord=2
3 description="Projects to measure different aspects of BeRTOS performance."