xbsv contains a utility to generate bit files for Xilinx Zynq devices from BSV programs.