uart0: UART.PL011 @ sysbus 0x101F1000
    -> pic@12

uart1: UART.PL011 @ sysbus 0x101F2000
    -> pic@13

pci: PCI.VersatilePCI @ {
        sysbus new Bus.BusMultiRegistration { address: 0x41000000; size: 0x100000; region: "config" };
        sysbus <0x42000000, +0x100000>;
        sysbus new Bus.BusMultiRegistration { address: 0x50000000; size: 0x20000000; region: "io" }
    }

memory: Memory.MappedMemory @ sysbus 0
    size: 0x10000000

pic: IRQControllers.PL190_VIC @ sysbus 0x10140000
    [IRQ, FIQ] -> cpu@[0,1]

sic: IRQControllers.SIC @ sysbus <0x10003000, +0x1000>
    [0-31] -> pic@[0-31]

sysctl: Miscellaneous.ArmSysCtl @ sysbus <0x10000000, +0x1000>
timer1: Timers.ARM_SP804_Timer @ sysbus 0x101E2000 { -> pic@4 }
timer2: Timers.ARM_SP804_Timer @ sysbus 0x101E3000 { -> pic@5 }
cpu: CPU.ARMv7A @ sysbus { cpuType: "arm926ej-s" }
smc91x: Network.SMC91X @ sysbus <0x10010000, +0x10000> { -> pic@25 }
kmi0: Input.PL050 @ sysbus <0x10006000, +0x1000> { -> sic@3 }
kmi1: Input.PL050 @ sysbus <0x10007000, +0x1000> { -> sic@4 }

sysbus:
    init:
        Tag <0x101E0000, 0x101E0FFF> "sctl"
        Tag <0x10130000, 0x10130FFF> "pl080-mmc"
        Tag <0x101F3000, 0x101F3FFF> "pl011-uart3"
        Tag <0x10100000, 0x10100FFF> "pl093-ssmc"
        Tag <0x10110000, 0x10110FFF> "mpmc"
        Tag <0x10120000, 0x1012FFFF> "pl110-lcd"
        Tag <0x101E1000, 0x101E1FFF> "watchdog"
        Tag <0x101E4000, 0x101E4FFF> "gpio0"
        Tag <0x101E5000, 0x101E5FFF> "gpio1"
        Tag <0x101E6000, 0x101E6FFF> "gpio2"
        Tag <0x101E7000, 0x101E7FFF> "gpio3"
        Tag <0x101E8000, 0x101E8FFF> "pl031-rtc"
        Tag <0x101F0000, 0x101F0FFF> "smartcard"
        Tag <0x101F4000, 0x101F4FFF> "ssp"
        Tag <0x10004000, 0x10004FFF> "audio"
        Tag <0x10005000, 0x10005FFF> "pl180-mmc"
        Tag <0x10009000, 0x10009FFF> "reserved-uart3"
        Tag <0x1000A000, 0x1000AFFF> "reserved-smartcard"
        Tag <0x1000B000, 0x1000BFFF> "reserved-mci1"
        Tag <0x10001000, 0x10001FFF> "pci-config"
        Tag <0x34800000, 0x387FFFFF> "versatile-mapped-flash"
