update

[l4.git] / l4 / pkg / bootstrap / server / src / Make.rules

diff --git a/l4/pkg/bootstrap/server/src/Make.rules b/l4/pkg/bootstrap/server/src/Make.rules
index fa27afc474f79fd192c918f9802a7040144dd123..efa24401237fe994df0190922dc3660789f7cbd5 100644 (file)
--- a/l4/pkg/bootstrap/server/src/Make.rules
+++ b/l4/pkg/bootstrap/server/src/Make.rules
@@ -85,6 +85,7 @@ SUPPORT_CC_arm-omap3evm   := support_omap3evm.cc
 SUPPORT_CC_arm-beagleboard:= support_beagleboard.cc
 SUPPORT_CC_arm-tegra2     := support_tegra2.cc
 SUPPORT_CC_arm-imx21      := support_imx.cc
+SUPPORT_CC_arm-imx35      := support_imx.cc
 SUPPORT_CC_arm-imx51      := support_imx.cc
 SUPPORT_CC_arm-om         := support_om.cc
 SUPPORT_CC_arm-kirkwood   := support_kirkwood.cc
@@ -104,12 +105,12 @@ SUPPORT_CC_sparc-leon3    := support_sparc_leon3.cc
 
 SRC_C          += exec.c module.c
 SRC_CC         += region.cc startup.cc init_kip_v2.cc init_kip_v4.cc \
-                   libc_support+.cc patch.cc
+                   libc_support+.cc patch.cc koptions.cc
 
-SRC_CC_x86     += ARCH-x86/reboot.cc
-SRC_CC_amd64   += ARCH-x86/reboot.cc
-SRC_C_x86      += base_critical.c ARCH-x86/serial.c
-SRC_C_amd64    += base_critical.c ARCH-x86/serial.c
+SRC_CC_x86     += ARCH-x86/reboot.cc ARCH-x86/serial.cc
+SRC_CC_amd64   += ARCH-x86/reboot.cc ARCH-x86/serial.cc
+SRC_C_x86      += base_critical.c
+SRC_C_amd64    += base_critical.c
 SRC_CC_arm             += ARCH-arm/reboot.cc
 SRC_CC_ppc32    += ARCH-ppc32/init_kip_v2-arch.cc \
                   ARCH-ppc32/reboot.cc