Awesome
Piko/RT
This is Piko/RT
, a tiny Linux-like real-time operating system kernel, optimized for ARM Cortex-M series microprocessors.
Prerequisites
Run test suite
- Run all test
$ make PLAT=stm32p103 check
- Run all test with command line tools
$ python -m tests
- Run specific test cases
$ python -m tests fs_1 cond_2
External Source
scripts/rstlint.py
: written by Georg Brandl