diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2012-10-05 08:47:39 -0400 |
|---|---|---|
| committer | Will Deacon <will.deacon@arm.com> | 2013-02-02 10:05:33 -0500 |
| 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 30c443c406f3..ea4f481753c5 100644 --- a/arch/arm/Makefile +++ b/arch/arm/Makefile | |||
| @@ -194,6 +194,7 @@ machine-$(CONFIG_ARCH_SOCFPGA) += socfpga | |||
| 194 | machine-$(CONFIG_ARCH_SPEAR13XX) += spear13xx | 194 | machine-$(CONFIG_ARCH_SPEAR13XX) += spear13xx |
| 195 | machine-$(CONFIG_ARCH_SPEAR3XX) += spear3xx | 195 | machine-$(CONFIG_ARCH_SPEAR3XX) += spear3xx |
| 196 | machine-$(CONFIG_MACH_SPEAR600) += spear6xx | 196 | machine-$(CONFIG_MACH_SPEAR600) += spear6xx |
| 197 | machine-$(CONFIG_ARCH_VIRT) += virt | ||
| 197 | machine-$(CONFIG_ARCH_ZYNQ) += zynq | 198 | machine-$(CONFIG_ARCH_ZYNQ) += zynq |
| 198 | machine-$(CONFIG_ARCH_SUNXI) += sunxi | 199 | machine-$(CONFIG_ARCH_SUNXI) += sunxi |
| 199 | 200 | ||