SDK ERROR

http://xilinx.eetrend.com/d6-xilinx/blog/2018-06/12979.html
目前使用zedboard實驗Microblaze
做到使用SDK寫軟體控制時出現ERROR
不知道該怎麼解決~~QQ

程式碼:
---------------------------------------------
#include
#include "platform.h"
//#include "xil_printf.h"

void print(char *str);

int main()
{
init_platform();
while(1)
{
print("Hello World\n\r");
}
cleanup_platform();
return 0;
}
---------------------------------------------
COMPILER後出現

-----------------------------------------------------------------------------------------------------------------------------------------------
Error while launching program:
no targets found with "name =~ "microblaze*#0" && bscan=="USER2" && jtag_cable_name =~ "Digilent Zed 210248584725"". available targets:
1* APU
2 ARM Cortex-A9 MPCore #0 (Suspended)
3 ARM Cortex-A9 MPCore #1 (Running)
4 xc7z020
no targets found with "name =~ "microblaze*#0" && bscan=="USER2" && jtag_cable_name =~ "Digilent Zed 210248584725"". available targets:
1* APU
2 ARM Cortex-A9 MPCore #0 (Suspended)
3 ARM Cortex-A9 MPCore #1 (Running)
4 xc7z020
-----------------------------------------------------------------------------------------------------------------------------------------------
然後
Problems 視窗中還有兩個ERROR

1.
Description Resource Path Location Type
conflicting types for 'print' helloworld.c /HelloWorld/src line 6 C/C++ Problem
2.
Description Resource Path Location Type
make: *** [src/helloworld.o] Error 1 HelloWorld C/C++ Problem

附件大小
sdk_error_1.png9.84 KB
sdk_error.png414.28 KB