75431f9d73
It is now possible to select the VGIC configuration option. Reviewed-by: Will Deacon <will.deacon@arm.com> Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com> Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> |
||
---|---|---|
.. | ||
arm.c | ||
coproc.c | ||
coproc.h | ||
coproc_a15.c | ||
emulate.c | ||
guest.c | ||
init.S | ||
interrupts.S | ||
interrupts_head.S | ||
Kconfig | ||
Makefile | ||
mmio.c | ||
mmu.c | ||
psci.c | ||
reset.c | ||
trace.h | ||
vgic.c |