Hello,
On my Zedboard I put TOPPERS SafeJ wich is a dual-OS monitor designed to concurrently execute a bare metal application in TrustZone and Linux in NTZ at the same time.
It works with the Linux that came on the original SD card but when I am trying to use Xillinux the last line, on the serial, when it tries to boot it is:
Uncompressing Linux... done, booting the kernel.
I think the problem is somewhere in the .dts file but I am not sure, or how to solve the problem.
Best regards,