Changes in kernel/arch/arm32/Makefile.inc [7218fe6:b8bb2bc] in mainline

File:

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

kernel/arch/arm32/Makefile.inc

@@ -36 +36 @@
 
 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
 
@@ -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