Hi All,
 
I'm working on a research project with IBM, and I want to run Xen on Nvidia Tegra Jetson-tk1 board.
and I am using this git tree -
 
git://xenbits.xen.org/people/ianc/xen.git
and branch  - tegra-tk1-jetson-v1
 
But when I try to boot Xen on the board I am not able to see any output (even with earlyprintk enabled).
After jumping to Xen the board just resets without showing any output.
 
I am using upstream u-boot with non secure mode enabled. I have also tested booting the Linux kernel on the same setup
and Linux 4.0 is able to boot with all 4 cores in HYP mode and kvm enabled.
 
Can anyone help me as to what I might have done wrong while using Xen?
 
Thanks,
Dushyant

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to