Changes in kernel/arch/arm32/Makefile.inc [f94b95b1:f9ab562] in mainline

File:

• kernel/arch/arm32/Makefile.inc (modified) (2 diffs)

kernel/arch/arm32/Makefile.inc

@@ -35 +35 @@
 GCC_CFLAGS += -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR)) -mno-unaligned-access
 
+ifeq ($(CONFIG_FPU),y)
+# This is necessary to allow vmsr insn and fpexc manipulation
+# Use vfp32 to allow context save/restore of d16-d31 regs.
+GCC_CFLAGS += -mfloat-abi=hard -mfpu=vfp3
+endif
+
 BITS = 32
 ENDIANESS = LE
@@ -62 +68 @@
         arch/$(KARCH)/src/ras.c
 
+ifeq ($(CONFIG_FPU),y)
+        ARCH_SOURCES += arch/$(KARCH)/src/fpu_context.c
+endif
+
 ifeq ($(MACHINE),gta02)
         ARCH_SOURCES += arch/$(KARCH)/src/mach/gta02/gta02.c
-endif
-
-ifeq ($(MACHINE),testarm)
-        ARCH_SOURCES += arch/$(KARCH)/src/mach/testarm/testarm.c
 endif