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

[Meng Xu <mengxu@xxxxxxxxxxxxx>]

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


-----------
Meng Xu
PhD Student in Computer and Information Science
University of Pennsylvania
http://www.cis.upenn.edu/~mengxu/

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