FreeRTOS-based blinky working after some hacking