Adding Hello world RTOS for GCC