Re: [RFC 02/29] xen/arm: don't allow dom0 to access to vpl011 UART0 memory range

[Julien Grall <julien.grall@linaro.org>]

On 04/29/2013 03:57 PM, Ian Campbell wrote:

> On Mon, 2013-04-29 at 00:01 +0100, Julien Grall wrote:
>> As vpl011 UART is not initialized for dom 0, when the domain tries to access to
>> this range, a segfault will occur in Xen. The right behaviour should be a data
>> abort for the guest.
>>
>> Signed-off-by: Julien Grall <julien.grall@linaro.org>
> 
> Acked-by: Ian Campbell <ian.campbell@citrix.com>
> 
> However I wonder if the provision of a vpl011 UART isn't something which
> should be made platform specific.
> 
> It's really a workaround for DEBUG_LL in a kernel which is configured
> for vexpress, I expect Arndale has different serial ports?

Right. I'm currently working on a patch for linux to enable early printk
for Arm.

For the moment it's doesn't impact the Arndale board because this range
is already mapped to a physical address.
By the way, I think vpl011 is useless with Stefano's patch series for
SMP. He moved xenvm out of versatile express platform.

-- 
Julien