[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-users] Xen On Nvidia Jetson TX1

Hi Methuku,

On Fri, Dec 30, 2016 at 4:38 PM, Methuku Karthik <kmeth@xxxxxxxxxxxxxx> wrote:
> 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 ?

Can you try out this repo: https://github.com/xenbedded/hyp-mode-checks

It may serve for your purpose.

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

I cc.ed Kyle who showed a demo of Xen on TX1 (or TK1) in 2016. Maybe
he has a repo. for the kernel.


Meng Xu
PhD Student in Computer and Information Science
University of Pennsylvania

Xen-users mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.