Finally got the FreeRTOS blinky demo compiled/linked. We need to implement stub functions and timer ticks to actually make it work