a RTOS used for linux