Real-time Operating System - microkernel design