update

[l4.git] / l4 / pkg / bootstrap / server / src / support_imx.cc

diff --git a/l4/pkg/bootstrap/server/src/support_imx.cc b/l4/pkg/bootstrap/server/src/support_imx.cc
index 989e4feb086a696c9636d1b0af92d81cc131cb37..b7fc9652104a63f8f20364fb243d87475c166931 100644 (file)
--- a/l4/pkg/bootstrap/server/src/support_imx.cc
+++ b/l4/pkg/bootstrap/server/src/support_imx.cc
@@ -7,7 +7,9 @@
  *
  */
 /*
- * (c) 2008-2009 Technische Universität Dresden
+ * (c) 2008-2009 Author(s)
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
@@ -23,8 +25,20 @@ class Platform_arm_imx : public Platform_single_region_ram
 
   void init()
   {
-    static L4::Uart_imx _uart(20, 20);
+#ifdef PLATFORM_TYPE_imx21
+    static L4::Uart_imx21 _uart(0, 0);
     _uart.startup(0x1000A000);
+#elif defined(PLATFORM_TYPE_imx35)
+    static L4::Uart_imx35 _uart(0, 0);
+    _uart.startup(0x43f90000); // UART-1
+    //_uart.startup(0x43f94000); // UART-2
+    //_uart.startup(0x5000c000); // UART-3
+#elif defined(PLATFORM_TYPE_imx51)
+    static L4::Uart_imx51 _uart(0, 0);
+    _uart.startup(0x73fbc000);
+#else
+#error Which platform type?
+#endif
     set_stdio_uart(&_uart);
   }
 };