[Xen-devel] [PATCH 10/10] xen/arm: add VEXPRESS kconfig

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Add a kconfig option for Versatile Express A15 platforms.

Signed-off-by: Stefano Stabellini <stefanos@xxxxxxxxxx>
CC: julien.grall@xxxxxxx
---
 xen/arch/arm/platforms/Kconfig  | 11 +++++++++++
 xen/arch/arm/platforms/Makefile |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/xen/arch/arm/platforms/Kconfig b/xen/arch/arm/platforms/Kconfig
index d11c9d4..5027df3 100644
--- a/xen/arch/arm/platforms/Kconfig
+++ b/xen/arch/arm/platforms/Kconfig
@@ -106,6 +106,13 @@ config B15
        ---help---
        Enable all the required drivers for Broadcom B15 platforms.
 
+config VEXPRESS
+       bool "ARM Versatile Express"
+       depends on ARM_32
+       select HAS_PL011
+       ---help---
+       Enable all the required drivers for ARM Versatile Express.
+
 endchoice
 
 config ALL64_PLAT
@@ -155,3 +162,7 @@ config EXYNOS5_PLATFORM
 config B15_PLATFORM
        bool
        default (ALL32_PLAT || B15)
+
+config VEXPRESS_PLATFORM
+       bool
+       default (ALL32_PLAT || VEXPRESS)
diff --git a/xen/arch/arm/platforms/Makefile b/xen/arch/arm/platforms/Makefile
index 9bc3e48..d3221ed 100644
--- a/xen/arch/arm/platforms/Makefile
+++ b/xen/arch/arm/platforms/Makefile
@@ -1,4 +1,4 @@
-obj-y += vexpress.o
+obj-$(CONFIG_VEXPRESS_PLATFORM) += vexpress.o
 obj-$(CONFIG_B15_PLATFORM)      += brcm.o
 obj-$(CONFIG_EXYNOS5_PLATFORM)  += exynos5.o
 obj-$(CONFIG_MIDWAY_PLATFORM)   += midway.o
-- 
1.9.1


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel