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

File:

• kernel/arch/arm32/Makefile.inc (modified) (4 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)
-# This is necessary to allow vmsr insn and fpexc manipulation
-# Use vfp32 to allow context save/restore of d16-d31 regs.
-AFLAGS += -mfloat-abi=hard -mfpu=vfp3
+        # This is necessary to allow vmsr insn and fpexc manipulation
+        # Use vfp32 to allow context save/restore of d16-d31 regs.
+        AFLAGS += -mfloat-abi=hard -mfpu=vfp3
 endif
 
@@ -54 +54 @@
         arch/$(KARCH)/src/dummy.S \
         arch/$(KARCH)/src/cpu/cpu.c \
-        arch/$(KARCH)/src/ddi/ddi.c \
         arch/$(KARCH)/src/interrupt.c \
         arch/$(KARCH)/src/exception.c \
@@ -66 +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
 
@@ -85 +85 @@
 endif
 
+ifeq ($(MACHINE),beaglebone)
+        ARCH_SOURCES += arch/$(KARCH)/src/mach/beaglebone/beaglebone.c
+endif
+
+ifeq ($(MACHINE),raspberrypi)
+        ARCH_SOURCES += arch/$(KARCH)/src/mach/raspberrypi/raspberrypi.c
+endif
+
 ifeq ($(CONFIG_PL050),y)
         ARCH_SOURCES += genarch/src/drivers/pl050/pl050.c
 endif
+
+ARCH_AUTOGENS_AG = \
+        arch/$(KARCH)/include/arch/istate_struct.ag \
+        arch/$(KARCH)/include/arch/context_struct.ag
+