[prev in list] [next in list] [prev in thread] [next in thread] 

List:       xen-users
Subject:    Re: [Xen-users] Xen On Nvidia Jetson TX1
From:       Meng Xu <mengxu () cis ! upenn ! edu>
Date:       2016-12-31 6:11:31
Message-ID: CAENZ-+=JZFzMpH=gVD-MnUjT0p1MRLKFyQN29JYEL2W87cfztg () mail ! gmail ! com
[Download RAW message or body]

Hi Methuku,

On Fri, Dec 30, 2016 at 4:38 PM, Methuku Karthik <kmeth@seas.upenn.edu> 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@lists.xen.org
https://lists.xen.org/xen-users
[prev in list] [next in list] [prev in thread] [next in thread]