Changes in kernel/arch/arm32/Makefile.inc [6a8ddd37:73b3ecd] in mainline

File:

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

kernel/arch/arm32/Makefile.inc

@@ -33 +33 @@
 ATSIGN = %
 
-GCC_CFLAGS += -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR_ARCH)) -mno-unaligned-access
+GCC_CFLAGS += -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR_ARCH)) -mno-unaligned-access -mfpu=vfpv3
 
 ifeq ($(CONFIG_FPU),y)
@@ -65 +65 @@
         arch/$(KARCH)/src/mm/tlb.c \
         arch/$(KARCH)/src/mm/page_fault.c \
+        arch/$(KARCH)/src/atomic.c \
         arch/$(KARCH)/src/ras.c
 
 ifeq ($(CONFIG_FPU),y)
         ARCH_SOURCES += arch/$(KARCH)/src/fpu_context.c
-        ARCH_SOURCES += arch/$(KARCH)/src/fpu.s
+        ARCH_SOURCES += arch/$(KARCH)/src/fpu.S
 endif