Real-Time Kernel for embedded systems