ask_for_help_about_xilinx

大家好，我现在刚开始在做嵌入式那一块的东西，其间我遇到一些问题：
1，我从Xilinx的网站上下了嵌入式的实验文档，在第一个实验里面当我用BSB建立工程时，当进行选板子的时候，就没有文档上所提的XUP Virtex-II Pro Development System这块板子。请问这个应该如何解决在ＥＤＫ软件里面才支持这块板子，我在EDK８.2，9.1里面都没有这块板子。
2，在实验1里面到最后提到下载，它是直接点击"Select Device Configuration g Download bitstream"，我不知道到底下了什么文件到什么地方去了（FPGA还是PowerPC）？请问用iMPACT该选择哪个文件及如何下载？

1、您需要额外的板型支持包，下载链接：
http://china.xilinx.com/univ/XUPV2P/lib/lib_rev_1_1.zip
支持ISE7.1.3和EDK7.1.2及更高版本
2、下载的是bit文件

非常感谢Winston！！