SDK编译BSD出错？

帮忙看看这个问题出在哪里?

15:49:30 **** Build of project standalone_bsp_3 ****
make -k all
libgen -hw ../system_hw_platform/system.xml\
       \
       -pe microblaze_3 \
       -log libgen.log \
       system.mss
libgen
Xilinx EDK 14.6 Build EDK_P.68d
Copyright (c) 1995-2012 Xilinx, Inc.  All rights reserved.
Command Line: libgen -hw ../system_hw_platform/system.xml -pe microblaze_3 -log
libgen.log system.mss

Staging source files.
Running DRCs.
Running generate.
ERROR:EDK - xget_value 243225536 243226944 NAME : A NULL handle was provided
ERROR:EDK - standalone () - expected integer but got "243225536 243226944"
ERROR:EDK:3416 - Error(s) while running TCL procedure generate().
make: *** [microblaze_3/lib/libxil.a] Errors 2

有没有谁知道或者可以讨论下?

解决了。
ERROR:EDK:3416 设计里面有unconnected的情况。
最终发现导入的IP的mpd文件中的Microblaze中断总线定义中端口出错，导致Microblaze_3中断链接异常。
更正后问题得以解决。