Re: [Xen-users] How to boot domU and dom0 from a device tree

[Denis Obrezkov <denisobrezkov@xxxxxxxxx>]

Hi,
> AFAICT, you requested U-boot to create the "vpl011" property, so Xen should
> created the emulated vpl011.
>
> The code to create the emulated vpl011 is domain_vpl011_init. Can you check
> whether it is initialized?
>
> Also, could you print the value for d, d->arch.vpl011.backend_in_domain,
> d->arch.vpl011.xen just before you get the error message?
>
> This could teach us a bit more what gone wrong.

How can I accomplish this? Should I print those variables and rebuilt xen or
should I connect a gdb somehow and check it?
>
> Cheers,
>
> --
> Julien Grall

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-users