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

[Julien Grall <julien.grall@xxxxxxx>]

Hello Dushyant,

On 29/03/16 21:56, Dushyant Behl wrote:
> On Wed, Mar 30, 2016 at 12:31 AM, Julien Grall <julien.grall@xxxxxxx> wrote:
> > On 24/03/16 11:05, Dushyant Behl wrote:
> (XEN) DOM0: [    0.000000] irq: no irq domain found for /interrupt-controller !
> (XEN) DOM0: [    0.000000] irq: no irq domain found for /interrupt-controller !
> (XEN) DOM0: [    0.000000] irq: no irq domain found for /interrupt-controller !
> (XEN) DOM0: [    0.000000] arch_timer: No interrupt available, giving up
It looks like to me that Xen is not recreating the device-tree 
correctly. I would look into the kernel to find what is expected.
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel