armv7: save vfp context (at least part of it)
[barrelfish] / hake / ARMv7.hs
index d88b3ae..71c6847 100644 (file)
@@ -118,6 +118,7 @@ kernelCFlags = [ Str s | s <- [ "-fno-builtin",
                                 "-marm",
                                 "-mcpu=cortex-a9",
                                 "-march=armv7-a",
+                                "-mfpu=vfpv3",
                                 "-mapcs",
                                 "-mabi=aapcs-linux",
                                 "-mfloat-abi=hard",