l4/pkg/bootstrap/server/src/support_om.cc

   1 /**
   2  * \file   support_om.cc
   3  * \brief  Support for the OpenMoko platform
   4  *
   5  * \date   2008
   6  * \author Adam Lackorznynski <adam@os.inf.tu-dresden.de>
   7  *
   8  */
   9 /*
  10  * (c) 2008-2009 Technische Universität Dresden
  11  * This file is part of TUD:OS and distributed under the terms of the
  12  * GNU General Public License 2.
  13  * Please see the COPYING-GPL-2 file for details.
  14  */
  15
  16
  17 #include "support.h"
  18
  19 #include <l4/drivers/uart_s3c2410.h>
  20 #include <l4/drivers/uart_dummy.h>
  21
  22 #define UART_TYPE Uart_s3c2410
  23 //#define UART_TYPE Uart_dummy
  24
  25 namespace {
  26 class Platform_arm_om : public Platform_single_region_ram
  27 {
  28   bool probe() { return true; }
  29
  30   void init()
  31   {
  32     static L4::UART_TYPE _uart(1,1);
  33     _uart.startup(0x50000000);
  34     set_stdio_uart(&_uart);
  35   }
  36 };
  37 }
  38
  39 REGISTER_PLATFORM(Platform_arm_om);