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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | arch/arm/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/arm/Makefile b/arch/arm/Makefile index 30c443c406f..ea4f481753c 100644 --- a/arch/arm/Makefile +++ b/arch/arm/Makefile @@ -194,6 +194,7 @@ machine-$(CONFIG_ARCH_SOCFPGA) += socfpga machine-$(CONFIG_ARCH_SPEAR13XX) += spear13xx machine-$(CONFIG_ARCH_SPEAR3XX) += spear3xx machine-$(CONFIG_MACH_SPEAR600) += spear6xx +machine-$(CONFIG_ARCH_VIRT) += virt machine-$(CONFIG_ARCH_ZYNQ) += zynq machine-$(CONFIG_ARCH_SUNXI) += sunxi |