[Xen-devel] Running Xen on Nvidia Jetson-TK1

["Dushyant K Behl" <dushyantbehl@xxxxxxxxxx>]

Hi All,

 

I'm working on a research project with IBM, and I want to run Xen on Nvidia Tegra Jetson-tk1 board.

I looked at a post on this mailing list (http://lists.xenproject.org/archives/html/xen-devel/2015-03/msg01122.html),

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@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel