I downloaded the ZedBoard version of the XAPP1078 reference design and copied the generated files to a SD Card. CPU0 runs Linux fine, but CPU1's bare-metal application does not. I have to connect XMD and send 'con 0x18000000' to get CPU1 to run. The FSBL copies the .elf file into memory okay, but something goes wrong after that. There is a Xilinx wiki page for XAPP1078 that indicates the Xilinx ZC706 board has version 2.0 silicon with a different ROM bootloader requiring changes for the reference design to work. Could this be my problem as well? How do I know which chip version is running on the ZedBoard?