FreeRTOS port for BeagleBone Black