diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2012-10-05 13:47:39 +0100 |
|---|---|---|
| committer | Will Deacon <will.deacon@arm.com> | 2013-02-02 15:05:33 +0000 |
| commit | 2a0ba7388092b07732dc772c042273a3b40d90de (patch) | |
| tree | d50437e35d98b15749cbf06d28806de15db40f0e /arch/arm/Kconfig | |
| parent | 6c046e405564608dd0889e0938656781550fd70c (diff) | |
ARM: Dummy Virtual Machine platform support
Add support for the smallest, dumbest possible platform, to be
used as a guest for KVM or other hypervisors.
It only mandates a GIC and architected timers. Fits nicely with
a multiplatform zImage. Uses very little silicon area.
Acked-by: Arnd Bergmann <arnd@arndb.de>
Acked-by: Nicolas Pitre <nico@linaro.org>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
[will: fixed up conflicts with GIC move to drivers/irqchip/]
Signed-off-by: Will Deacon <will.deacon@arm.com>
Diffstat (limited to 'arch/arm/Kconfig')
| -rw-r--r-- | arch/arm/Kconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index c2044139450..b7562a721ac 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig @@ -1128,6 +1128,8 @@ source "arch/arm/mach-versatile/Kconfig" source "arch/arm/mach-vexpress/Kconfig" source "arch/arm/plat-versatile/Kconfig" +source "arch/arm/mach-virt/Kconfig" + source "arch/arm/mach-vt8500/Kconfig" source "arch/arm/mach-w90x900/Kconfig" |