RTOS for the 8051 family