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

   1 /**
   2  * \file   support_sparc_leon3.cc
   3  * \brief  Support for the Sparc LEON3 platform
   4  *
   5  * \date   2010
   6  * \author Björn Döbel <doebel@os.inf.tu-dresden.de>
   7  *
   8  */
   9 /*
  10  * (c) 2010 Author(s)
  11  *     economic rights: Technische Universität Dresden (Germany)
  12  *
  13  * This file is part of TUD:OS and distributed under the terms of the
  14  * GNU General Public License 2.
  15  * Please see the COPYING-GPL-2 file for details.
  16  */
  17
  18 #include "support.h"
  19
  20 #include <l4/drivers/uart_dummy.h>
  21
  22 #define UART_TYPE Uart_dummy
  23
  24 namespace {
  25 class Platform_leon3 //: public Platform_single_region_ram
  26 {
  27   bool probe() { return true; }
  28
  29   void init()
  30   {
  31           asm volatile("ta 0\n");
  32 #if 0
  33     static L4::UART_TYPE _uart(1,1);
  34     _uart.startup(0x50000000);
  35     set_stdio_uart(&_uart);
  36 #endif
  37   }
  38 };
  39 }
  40
  41 REGISTER_PLATFORM(Platform_leon3);