Trochili RTOS for embedded system