FreeRTOS port for OMAP4's ducati subsystem