A Preemptive Hard Real Time kernel for embedded devices. - View it on GitHub