[Xen-users] Xen On Nvidia Jetson TX1

[Methuku Karthik <kmeth@xxxxxxxxxxxxxx>]

Hello Everyone,

I am trying to run Xen on Jetson TX1.

I have compiled uboot and changed the mode to nonsec. but I am not seeing any message about cpu mode in dmesg.

how to check which mode the cpus have started ?

Please suggest any kernel source for arm64 which can generate zImage  with Xen support?

Regards,

Karthik

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
https://lists.xen.org/xen-users