diff --git a/repos/base-hw/lib/mk/spec/arm_v7/core-hw-virt_qemu.mk b/repos/base-hw/lib/mk/spec/arm_v7/core-hw-virt_qemu.mk
index 197a7a5370..477b70eb93 100644
--- a/repos/base-hw/lib/mk/spec/arm_v7/core-hw-virt_qemu.mk
+++ b/repos/base-hw/lib/mk/spec/arm_v7/core-hw-virt_qemu.mk
@@ -16,6 +16,6 @@ SRC_S += spec/arm_v7/virtualization/exception_vector.s
 
 NR_OF_CPUS = 2
 
-CC_MARCH = -march=armv7ve -mtune=cortex-a15 -mfpu=vfpv3 -mfloat-abi=soft
+CC_MARCH = -march=armv7ve -mtune=cortex-a15 -mfpu=vfpv3 -mfloat-abi=softfp
 
 include $(call select_from_repositories,lib/mk/spec/cortex_a15/core-hw.inc)