在F767上移植FreeRTOS没有成功的解决办法？

1.在发烧友STM32F767开发板上准备移植FreeRTOS,按照下载的文档更改，编译，但没成功，出现如下问题：
Build target 'FreeRTOS'
compiling delay.c...
..SYSTEMdelaydelay.c(98): error:  #20: identifier "taskSCHEDULER_NOT_STARTED" is undefined
        if(xTaskGetSchedulerState()!=taskSCHEDULER_NOT_STARTED) //OS开始跑了,才执行正常的调度处理
..SYSTEMdelaydelay.c(98): error:  #41: expression must have arithmetic or pointer type
        if(xTaskGetSchedulerState()!=taskSCHEDULER_NOT_STARTED) //OS开始跑了,才执行正常的调度处理
..SYSTEMdelaydelay.c(157): error:  #20: identifier "taskSCHEDULER_NOT_STARTED" is undefined
        if(xTaskGetSchedulerState()!=taskSCHEDULER_NOT_STARTED)//如果OS已经在跑了,并且不是在中断里面(中断里面不能任务调度)         
..SYSTEMdelaydelay.c(157): error:  #41: expression must have arithmetic or pointer type
        if(xTaskGetSchedulerState()!=taskSCHEDULER_NOT_STARTED)//如果OS已经在跑了,并且不是在中断里面(中断里面不能任务调度)         
..SYSTEMdelaydelay.c(161): warning:  #223-D: function "vTaskDelay" declared implicitly
                        vTaskDelay(nms/fac_ms); //OS延时
..SYSTEMdelaydelay.c: 1 warning, 4 errors
请高手看看，那里没整对？