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

   1 /*!
   2  * \file   support_sa1000.cc
   3  * \brief  Support for SA1000 platform
   4  *
   5  * \date   2008-01-02
   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_sa1000.h>
  18
  19 namespace {
  20 class Platform_arm_sa1000 : public Platform_single_region_ram
  21 {
  22   bool probe() { return true; }
  23
  24   void init()
  25   {
  26     static L4::Uart_sa1000 _uart(1,1);
  27     _uart.startup(0x80010000);
  28     //_uart.startup(0x80050000);
  29     set_stdio_uart(&_uart);
  30   }
  31 };
  32 }
  33
  34 REGISTER_PLATFORM(Platform_arm_sa1000);