Merge branch 'bsdlibc'
[barrelfish] / hake / ARMv7.hs
index e287cc8..567c1df 100644 (file)
@@ -43,6 +43,8 @@ ourCommonFlags = [ Str "-fno-unwind-tables",
                    Str "-march=armv7-a",
                    Str "-mapcs",
                    Str "-mabi=aapcs-linux",
+                   Str "-mfloat-abi=hard",
+                   Str "-mfpu=vfpv3",
                    Str "-msingle-pic-base",
                    Str "-mpic-register=r9",
                    Str "-DPIC_REGISTER=R9",
@@ -116,9 +118,10 @@ kernelCFlags = [ Str s | s <- [ "-fno-builtin",
                                 "-marm",
                                 "-mcpu=cortex-a9",
                                 "-march=armv7-a",
+                                "-mfpu=vfpv3",
                                 "-mapcs",
                                 "-mabi=aapcs-linux",
-                                "-mfloat-abi=soft",
+                                "-mfloat-abi=hard",
                                 "-fPIE",
                                 "-U__linux__",
                                 "-Wall",