Hello Dushyant,
On 29/03/16 21:56, Dushyant Behl wrote:
On Wed, Mar 30, 2016 at 12:31 AM, Julien Grall <julien.gr...@arm.com> 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@lists.xen.org
http://lists.xen.org/xen-devel
