Piko/RT

December 3, 2023 ยท View on GitHub

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

Contents

  1. 1Prerequisites
  2. 2Run test suite
  3. 3External Source