A micro-kernel real-time operating system (RTOS)