Current FreeRTOS configuration for the old Stellaris board.