ORKID
Open Real-time Kernel Interface Definition