A minimal RTOS