1sysbus:
2    Endianess: Endianess.BigEndian
3
4bootprom: Memory.MappedMemory @ sysbus 0x00000000
5    size: 0x1000
6
7extprom: Memory.MappedMemory @ sysbus 0x01000000
8    size: 0x1000000
9
10spi0: Memory.MappedMemory @ sysbus 0x02000000
11    size: 0x2000000
12
13spi1: Memory.MappedMemory @ sysbus 0x04000000
14    size: 0x2000000
15
16ram: Memory.MappedMemory @ sysbus 0x30000000
17    size: 0x10000
18
19sram: Memory.MappedMemory @ sysbus 0x31000000
20    size: 0x20000
21
22extram: Memory.MappedMemory @ sysbus 0x40000000
23    size: 0x10000000
24
25cpu: CPU.Sparc @ sysbus
26    cpuType: "gr716"
27
28mic: IRQControllers.GaislerMIC @ sysbus <0x80002000, +0x400>
29    0 -> cpu@0 | cpu@1 | cpu@2
30
31uart: UART.GaislerAPBUART @ sysbus <0x80300000, +0x100>
32    -> mic@24
33
34uart1: UART.GaislerAPBUART @ sysbus <0x80301000, +0x100>
35    -> mic@25
36
37uart2: UART.GaislerAPBUART @ sysbus <0x80302000, +0x100>
38    -> mic@3
39
40uart3: UART.GaislerAPBUART @ sysbus <0x80303000, +0x100>
41    -> mic@5
42
43uart4: UART.GaislerAPBUART @ sysbus <0x80304000, +0x100>
44    -> mic@6
45
46uart5: UART.GaislerAPBUART @ sysbus <0x80305000, +0x100>
47    -> mic@7
48
49timer0: Timers.Gaisler_GPTimer @ sysbus 0x80003000
50    0 -> mic@9
51    numberOfTimers: 2
52    separateInterrupts: false
53    frequency: 20000000
54
55gpio0: GPIOPort.Gaisler_GPIO @ sysbus 0x8030C000
56    32 -> mic@17 // This interrupt routing is not verified.
57    numberOfConnections: 32
58    numberOfInterrupts: 1
59
60gpio1: GPIOPort.Gaisler_GPIO @ sysbus 0x8030D000
61    32 -> mic@38 // This interrupt routing is not verified.
62    numberOfConnections: 32
63    numberOfInterrupts: 1
64