+shannon
On 8 June 2015 at 23:09, Julien Grall wrote:
> Hi Parth,
>
> On 17/05/2015 21:04, Parth Dixit wrote:
>>
>> Interrupt information is described in DSDT and is not available at
>> the time of booting. Configure the interrupts dynamically when requested
>> by Dom0
>
>
> Missing "."
>
> Also,
Hi Parth,
On 17/05/2015 21:04, Parth Dixit wrote:
Interrupt information is described in DSDT and is not available at
the time of booting. Configure the interrupts dynamically when requested
by Dom0
Missing "."
Also, I'm sure we talked about it multiple time. I'd like to keep the
ACPI changes
Interrupt information is described in DSDT and is not available at
the time of booting. Configure the interrupts dynamically when requested
by Dom0
Signed-off-by: Parth Dixit
---
xen/arch/arm/vgic.c | 18 ++
1 file changed, 18 insertions(+)
diff --git a/xen/arch/arm/vgic.c b/xen