A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
This is Piko/RT
, a tiny Linux-like real-time operating system kernel, optimized for ARM Cortex-M series microprocessors.
$ make PLAT=stm32p103 check
$ python -m tests
$ python -m tests fs_1 cond_2
scripts/rstlint.py
: written by Georg Brandl