Changes in kernel/arch/arm32/Makefile.inc [b8bb2bc:7218fe6] 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