First running RTOS with xTIMEcomposer. Build options need to be optimised, though