update

[l4.git] / l4 / pkg / bootstrap / server / src / platform / rv.cc

diff --git a/l4/pkg/bootstrap/server/src/platform/rv.cc b/l4/pkg/bootstrap/server/src/platform/rv.cc
index dc1b857479bb15d381c562d22e84253eb22d9f04..6fcad0b61d230707d32f3275e46e2c89c01ac115 100644 (file)
--- a/l4/pkg/bootstrap/server/src/platform/rv.cc
+++ b/l4/pkg/bootstrap/server/src/platform/rv.cc
@@ -1,13 +1,13 @@
 /*!
- * \file   support_rv.cc
+ * \file
  * \brief  Support for the rv platform
  *
- * \date   2008-01-02
+ * \date   2011
  * \author Adam Lackorznynski <adam@os.inf.tu-dresden.de>
  *
  */
 /*
- * (c) 2008-2009 Author(s)
+ * (c) 2008-2011 Author(s)
  *     economic rights: Technische Universität Dresden (Germany)
  *
  * This file is part of TUD:OS and distributed under the terms of the
@@ -20,16 +20,19 @@
 #include <l4/drivers/uart_pl011.h>
 
 namespace {
+
 class Platform_arm_rv : public Platform_single_region_ram
 {
   bool probe() { return true; }
   void init()
   {
-    static L4::Uart_pl011 _uart(36,36);
-    _uart.startup(0x10009000);
+    static L4::Io_register_block_mmio r(0x10009000);
+    static L4::Uart_pl011 _uart(24019200);
+    _uart.startup(&r);
     set_stdio_uart(&_uart);
   }
 };
+
 }
 
 REGISTER_PLATFORM(Platform_arm_rv);