I've got zed board(zynq 7000 soc).As mentioned in the user guide PC with windows-7 64 bit OS is mandatory to use board. I've PC with windows-7 32 bit OS.Will there be any problem in implementing linux on zynq (using Virtual machine in windows-7 ,as mentioned in user guide) and to develop the applications using xilinx ISE in that 32 bit windows-7 PC.Because I've already installed Xilinx ISE in this 32 bit windows-7 PC and it has got only one time licence ?