MicroBlaze上でFreeRTOSを動作させるための作業６

Xilinx Software Development Kit 12.1を使ってコンパイルするところまで到達。

../src/port.c: In function ‘vPortYield’:
../src/port.c:257: error: conflicting type qualifiers for ‘uxCriticalNesting’
../src/port.c:89: error: previous definition of ‘uxCriticalNesting’ was here
../src/port.c: In function ‘prvSetupTimerInterrupt’:
../src/port.c:277: warning: implicit declaration of function ‘XTmrCtr_mDisable’
../src/port.c:277: error: ‘XPAR_OPB_TIMER_1_BASEADDR’ undeclared (first use in this function)
../src/port.c:277: error: (Each undeclared identifier is reported only once
../src/port.c:277: error: for each function it appears in.)
../src/port.c:277: error: ‘XPAR_OPB_TIMER_1_DEVICE_ID’ undeclared (first use in this function)
../src/port.c:279: warning: implicit declaration of function ‘XTmrCtr_mSetLoadReg’
../src/port.c:280: warning: implicit declaration of function ‘XTmrCtr_mSetControlStatusReg’
../src/port.c:284: error: ‘XPAR_OPB_INTC_0_BASEADDR’ undeclared (first use in this function)
../src/port.c:285: error: ‘XPAR_OPB_TIMER_1_INTERRUPT_MASK’ undeclared (first use in this function)
../src/port.c:290: warning: implicit declaration of function ‘XIntc_mAckIntr’
../src/port.c: In function ‘vTickISR’:
../src/port.c:344: warning: implicit declaration of function ‘XTmrCtr_mGetControlStatusReg’
../src/port.c:344: error: ‘XPAR_OPB_TIMER_1_BASEADDR’ undeclared (first use in this function)
make: *** [src/port.o] Error 1

こんな風に順調にエラーを出してくれてます。
カーネルソースの部分についてはティックタイマー（とその割り込みコントローラ）のエラーだけです。