1uart0: UART.PL011 @ sysbus 0x101F1000
2    -> pic@12
3
4uart1: UART.PL011 @ sysbus 0x101F2000
5    -> pic@13
6
7pci: PCI.VersatilePCI @ {
8        sysbus new Bus.BusMultiRegistration { address: 0x41000000; size: 0x100000; region: "config" };
9        sysbus <0x42000000, +0x100000>;
10        sysbus new Bus.BusMultiRegistration { address: 0x50000000; size: 0x20000000; region: "io" }
11    }
12
13memory: Memory.MappedMemory @ sysbus 0
14    size: 0x10000000
15
16pic: IRQControllers.PL190_VIC @ sysbus 0x10140000
17    [IRQ, FIQ] -> cpu@[0,1]
18
19sic: IRQControllers.SIC @ sysbus <0x10003000, +0x1000>
20    [0-31] -> pic@[0-31]
21
22sysctl: Miscellaneous.ArmSysCtl @ sysbus <0x10000000, +0x1000>
23timer1: Timers.ARM_SP804_Timer @ sysbus 0x101E2000 { -> pic@4 }
24timer2: Timers.ARM_SP804_Timer @ sysbus 0x101E3000 { -> pic@5 }
25cpu: CPU.ARMv7A @ sysbus { cpuType: "arm926" }
26smc91x: Network.SMC91X @ sysbus <0x10010000, +0x10000> { -> pic@25 }
27kmi0: Input.PL050 @ sysbus <0x10006000, +0x1000> { -> sic@3 }
28kmi1: Input.PL050 @ sysbus <0x10007000, +0x1000> { -> sic@4 }
29
30sysbus:
31    init:
32        Tag <0x101E0000, 0x101E0FFF> "sctl"
33        Tag <0x10130000, 0x10130FFF> "pl080-mmc"
34        Tag <0x101F3000, 0x101F3FFF> "pl011-uart3"
35        Tag <0x10100000, 0x10100FFF> "pl093-ssmc"
36        Tag <0x10110000, 0x10110FFF> "mpmc"
37        Tag <0x10120000, 0x1012FFFF> "pl110-lcd"
38        Tag <0x101E1000, 0x101E1FFF> "watchdog"
39        Tag <0x101E4000, 0x101E4FFF> "gpio0"
40        Tag <0x101E5000, 0x101E5FFF> "gpio1"
41        Tag <0x101E6000, 0x101E6FFF> "gpio2"
42        Tag <0x101E7000, 0x101E7FFF> "gpio3"
43        Tag <0x101E8000, 0x101E8FFF> "pl031-rtc"
44        Tag <0x101F0000, 0x101F0FFF> "smartcard"
45        Tag <0x101F4000, 0x101F4FFF> "ssp"
46        Tag <0x10004000, 0x10004FFF> "audio"
47        Tag <0x10005000, 0x10005FFF> "pl180-mmc"
48        Tag <0x10009000, 0x10009FFF> "reserved-uart3"
49        Tag <0x1000A000, 0x1000AFFF> "reserved-smartcard"
50        Tag <0x1000B000, 0x1000BFFF> "reserved-mci1"
51        Tag <0x10001000, 0x10001FFF> "pci-config"
52        Tag <0x34800000, 0x387FFFFF> "versatile-mapped-flash"
53