Piko/RT

This is Piko/RT, a tiny Linux-like real-time operating system kernel, optimized for ARM Cortex-M series microprocessors.

Prerequisites

• QEMU with an STM32 microcontroller implementation

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