[PATCH] arm: Restore building of mach-vexpress

[Jan Kiszka]

Got accidentally lost in the merge of 837e95234580.

Signed-off-by: Jan Kiszka <jan.k...@siemens.com>
---
hypervisor/arch/arm/Kbuild | 2 ++
1 file changed, 2 insertions(+)

diff --git a/hypervisor/arch/arm/Kbuild b/hypervisor/arch/arm/Kbuild
index de5c50bb..04e835c6 100644
--- a/hypervisor/arch/arm/Kbuild
+++ b/hypervisor/arch/arm/Kbuild
@@ -25,3 +25,5 @@ obj-y += mmu_hyp.o caches.o mach-stubs.o
# gcc7 will bring a new function attribute "no_profile_instrument_function"
# should switch to that for higher granularity, but gcc7 is not even there
CFLAGS_mmu_hyp.o += -fno-profile-arcs -fno-test-coverage
+
+obj-$(CONFIG_MACH_VEXPRESS) += mach-vexpress.o
--
2.12.3