I built a BSB system for Virtex-4 FPGA with a PowerPC405 processor. After booting embedded Linux and then wanting to reload and restart the kernel, I have to power cycle the board, otherwise the kernel does not boot.
I find that a reset in XMD or a bitstream download does not reset the processor; the MSR register indicates the MMU is still active. A reset does not appear to be happening correctly.
How do I resolve this issue?
This issue is currently under investigation. Please open a Xilinx Webcase with Technical Support for more information:
NOTE: Assistance in reproducing the issue might be requested.