On Fri, 15 Jun 2018, Julien Grall wrote:
> Hi Stefano,
>
> On 06/13/2018 11:15 PM, Stefano Stabellini wrote:
> > Introduce vpl011 support to guests started from Xen: it provides a
> > simple way to print output from a guest, as most guests come with a
> > pl011 driver. It is also able to provide a
Hi Stefano,
On 06/13/2018 11:15 PM, Stefano Stabellini wrote:
Introduce vpl011 support to guests started from Xen: it provides a
simple way to print output from a guest, as most guests come with a
pl011 driver. It is also able to provide a working console with
interrupt support.
Signed-off-by:
Introduce vpl011 support to guests started from Xen: it provides a
simple way to print output from a guest, as most guests come with a
pl011 driver. It is also able to provide a working console with
interrupt support.
Signed-off-by: Stefano Stabellini
---
xen/arch/arm/domain_build.c | 70 +++