>Hint: Just branching to El1 probably isn't enough.

>Documentation/arm64/booting.rst

All these conditions should be set by the bootloader when it loads the hypervisor(which prints Hello World at first). I only have to keep the dtb address in x0 and jump to EL!

I have also added the kernel image header to Hypervsisor's boot.S file so that rpi bootloader identifies it as the linux kernel and sets all the conditions defined in Documentation/arm64/booting.rst including loading dtb and storing its address in x0. What am I missing here?