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

   1 /*!
   2  * \file   support_omap3evm.cc
   3  * \brief  Support for the OMAP3EVM platform
   4  *
   5  * \date   2008-06-13
   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 #include "support.h"
  17 #include <l4/drivers/uart_omap35x.h>
  18
  19 namespace {
  20 class Platform_arm_omap3 : public Platform_single_region_ram
  21 {
  22   bool probe() { return true; }
  23
  24   void init()
  25   {
  26     static L4::Uart_omap35x _uart(1, 1);
  27     _uart.startup(0x4806a000);
  28     set_stdio_uart(&_uart);
  29   }
  30 };
  31 }
  32
  33 REGISTER_PLATFORM(Platform_arm_omap3);