3 -- (c) 2008-2009 Technische Universität Dresden
4 -- This file is part of TUD:OS and distributed under the terms of the
5 -- GNU General Public License 2.
6 -- Please see the COPYING-GPL-2 file for details.
8 -- multi-core EB (PB11MP)
17 hid = "System Control";
18 Res.mmio(0x10000000, 0x10000fff);
24 Res.mmio(0x10020000, 0x10020fff);
31 Res.mmio(0x10006000, 0x10006fff);
37 Res.mmio(0x10007000, 0x10007fff);
43 hid = "AMBA PL061 dev0";
44 Res.mmio(0x10013000, 0x10013fff);
50 hid = "AMBA PL061 dev1";
51 Res.mmio(0x10014000, 0x10014fff);
55 COMPACTFLASH = Hw.Device
57 hid = "compactflash"; -- FIXME: should be "XXX flash" or something
58 Res.mmio(0x18000000, 0x180000ff);
59 Res.mmio(0x18000100, 0x180003ff);
65 Res.mmio(0x10004000, 0x10004fff);
72 Res.mmio(0x4e000000, 0x4e000fff);
79 Io.Mmio_data_space(0x10000, 0);