From: Peng Fan <[email protected]>

Some toolchains might not have this flag default set, so when compiling,
there will be error that "dsb not supported" in cache.S.

So pass the flag to force toolchain use v7.

Signed-off-by: Peng Fan <[email protected]>
---
 hypervisor/arch/arm/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hypervisor/arch/arm/Makefile b/hypervisor/arch/arm/Makefile
index a170b593..ad5b2276 100644
--- a/hypervisor/arch/arm/Makefile
+++ b/hypervisor/arch/arm/Makefile
@@ -13,3 +13,4 @@
 LINUXINCLUDE += -I$(src)/arch/arm-common/include
 
 KBUILD_CFLAGS += -marm -march=armv7ve
+KBUILD_AFLAGS += -march=armv7ve
-- 
2.16.4

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/20200821024921.3075-4-peng.fan%40nxp.com.

Reply via email to