Real Time tiny platform for Microcontroller/tinySOC-OS