xilinx sdk 中如何生成download.bit

Hi all   我用edk生成了hardware，export到sdk，在sdk中new一个新的hello_world 工程，产生了elf文件。
   下一步如何生成download.bit