diff options
| -rw-r--r-- | sys/conf/Makefile.arm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/conf/Makefile.arm b/sys/conf/Makefile.arm index ce029f6..417db1c 100644 --- a/sys/conf/Makefile.arm +++ b/sys/conf/Makefile.arm @@ -41,6 +41,9 @@ STRIP_FLAGS = -S .if ${COMPILER_TYPE} != "clang" CFLAGS += -mno-thumb-interwork +.else +# We generally don't want fpu instructions in the kernel. +CFLAGS += -mfpu=none .endif .if empty(DDB_ENABLED) |
