KC705中的BSB运行失败

嗨，
我刚刚开始使用KC705。
所有预编程的BIST测试均可运行且成功。
我的第一步是使用Base System Builder构建MicroBlaze系统。
首先，我尝试了ISE 13.4。
我遵循通常的流程，在ISE中实例化处理器系统，然后在XPS中运行BSB并接受所有默认值。
设计编译完成后，我能够使用boot-loop对SDK中的FPGA进行编程。
然后我在SDK中生成了一个“Hello World”程序并尝试加载它。
这失败了，“ELF验证失败;请检查内存是否正常”消​​息。
所以，我尝试使用运行ISE 14.7的新PC。
相同的流程，但这次XPS中的BSB失败，出现以下两个错误：
错误：EDK：2751 - 不支持版本。
仅支持的版本是2.1.0
错误：EDK：2843 - 零长度XML文件C： Xilinx  14.7  ISE_DS  EDK  data  xpsgui  config  default_system.gui
有任何想法吗？
谢谢
干草堆