I tried to enable the HYP mode when the CPU is boot up so that I can run Xen on Jetson TK1 board.
I have successfully flash the u-boot binaries from L4T_R21.4 and I can see that the Linux boot on the TK1 board and that the CPU boot in SVC mode.
In order to enable the HYP mode at U-boot, I have to compile the u-boot from source.
So I downloaded the source code from u-boot repo: git://git.denx.de/u-boot.git
I checkout the tag tag v2016.03.
I compiled u-boot with the command on the TK1 board
make jetson-tk1_defconfig make
Then I copy the u-boot.bin from the TK1 board to the host machine and place it into the L4T folder/bootloader/ardbeg
Then I flash the u-boot with the command
sudo ./flash.sh -k EBT jetson-tk1 mmcblk0p1
I can see from the flash.sh output that it’s using the new u-boot.bin.
However, after the new u-boot is flashed into the board, the board can no longer boot up. I cannot see any information.
The last information I saw from the TK1’s serial port is:
End Downloading EBT Time taken to download partition: 190 ms WriterThread: Exiting Rebooting device after flashing.
My question is:
- Does anyone successfully compile u-boot from source and flash it into the TK1 board?
- Did I forget to configure something to make the new uboot work?
I noticed that the new u-boot.bin has a different size with the original u-boot.bin that comes with L4T. I’m not sure if I should configure something?
- If you happen to have a u-boot.bin that works and enable the CPU into the HYP mode, could you share it so that I can try it out on my board.
Thank you so much for your time and help on this question!
I have been stuck at this for a whole day… Hope someone could save me… :-(