23 May
2013
23 May
'13
9:55 a.m.
This series is just a start of attaching the ACPI code to the IRQ domain so we map IRQs in a method compatible with FDT booting.
Firstly get the GIC to register itself as the default domain.
Then change the ARM ACPI code to use default domain to map IRQs.
Graeme