2 * \file support_kirkwood.cc
3 * \brief Support for the kirkwood platform
6 * \author Adam Lackorznynski <adam@os.inf.tu-dresden.de>
11 * economic rights: Technische Universität Dresden (Germany)
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.
19 #include <l4/drivers/uart_pxa.h>
22 class Platform_arm_kirkwood : public Platform_single_region_ram
24 bool probe() { return true; }
28 static L4::Uart_pxa _uart(1, 1);
29 _uart.startup(0xf1012000); // uart0
30 //_uart.startup(0xf1012100); // uart1
31 _uart.change_mode(0x3, 8500); // TCLK=200000000, Divisor: 108=TCLK/115200/16
32 set_stdio_uart(&_uart);
35 // SPI init, as there's an interrupt pending when coming from u-boot on
36 // the dockstar, so make it go away
37 *(unsigned *)0xf1010600 = 0; // disable
38 *(unsigned *)0xf1010614 = 0; // mask interrupt
39 *(unsigned *)0xf1010610 = 1; // clear interrupt
44 REGISTER_PLATFORM(Platform_arm_kirkwood);