Skip to content
A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
Branch: master
Clone or download
Latest commit e3cfa2c Jul 2, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
arch
docs Fix typo Jul 2, 2018
drivers
fs Always generate syscall entry by scripts Aug 11, 2017
include
kernel Bitmap: Fix problem about idle thread not performing context switch. Mar 21, 2018
libc
mk
platform
scripts Consist copyright and mention in README Dec 31, 2017
tests
user
.clang-format Initial import Aug 5, 2017
.gitignore Add docs with Sphinx Dec 31, 2017
.travis.yml Fix misused of matrix Mar 21, 2018
LICENSE Revise package name Aug 6, 2017
Makefile
README.md Minor syntax tweak Dec 31, 2017
piko.lds.S

README.md

Piko/RT

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

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
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.