/pikoRT

A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips

Primary LanguageCOtherNOASSERTION

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