Miosix is an OS kernel for embedded systems.
C C++ Assembly Makefile Shell HTML Other
Latest commit 6461dc9 Nov 17, 2016 @fedetft Found long-standing undefined behaviour in Thread::sleep() and Thread…
…::sleepUntil(). Inspection of the assembly code generated showed that the undefined behaviour did not cause a bug, though.

Readme.txt

Welcome to the Miosix kernel
============================

You can find information on how to configure and use the kernel
at the following url: http://miosix.org