[Xen-users] Xen on Nvidia Tegra Jetson TK1

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

Hello Everyone,

 

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 xen-devel 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 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 uboot with non secure mode enabled. I have also tested booting the Linux kernel on the same uboot

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-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users