Need for booting a PetaLinux Kernel alongwith Secure OS code

[vikas753]

Hi ,
I have a petalinux kernel for zedboard ( ref : https://www.xilinx.com/support/documentation/sw_manuals/petalinux2013_10/ug980-petalinux-board-bringup.pdf ) . I tried using LTZVisor , by modifying the NS_guest kernel OS with above kernel but it doesnt work . When i boot the zedboard with BOOT.bin of LTZVisor and fatload the petalinux kernel thereby booting it ( it shows an error : Invalid kernel image ) . Thus i think i may have to modify the FSBL bootloader used in LTZVisor to suit the kernel image that i wish to load or could you recommend a PetaLinux Kernel Image that is compatible with LTZVisor3.0 ? Thanks In Advance !