Stuck at “Starting Kernel…” in the U-boot command prompt using xvisor on RaspberryPi 3

Question

I\'m using xvisor (a hypervisor that uses virtualization to run multiple OSes on RPi3). I have built the u-boot, dtb file and RPi kernel image on my PC using a cross complil