1biosRom: Memory.MappedMemory @ {
2        sysbus 0xFFFFE000;
3        sysbus 0xE000
4    }
5    size: 0x2000
6
7flash: Memory.MappedMemory @ sysbus 0x40000000
8    size: 0x2F000
9
10lapic: IRQControllers.LAPIC @ sysbus 0xFEE00000
11    IRQ -> cpu@0
12
13ioapic: IRQControllers.IOAPIC @ sysbus 0xFEC00000
14    [16-255] -> lapic@[16-255]
15    lapic: lapic
16
17spi0: SPI.Quark_SPI @ sysbus 0xB0001000
18    IRQ -> ioapic@2
19
20spi1: SPI.Quark_SPI @ sysbus 0xB0001400
21    IRQ -> ioapic@3
22
23flash2: Memory.MappedMemory @ sysbus 0x40030000
24    size: 0x2F000
25
26otpData: Memory.MappedMemory @ sysbus 0x4002F000
27    size: 0x1000
28
29sram: Memory.MappedMemory @ sysbus 0xA8000000
30    size: 0x14000
31
32uartA: UART.NS16550 @ sysbus 0xB0002000
33    wideRegisters: true
34
35uartB: UART.NS16550 @ sysbus 0xB0002400
36    wideRegisters: true
37    IRQ -> ioapic@6
38
39cpu: CPU.X86 @ sysbus
40    cpuType: "x86"
41    lapic: lapic
42
43gpio: X86.Quark_GPIOController @ sysbus 0xB0000C00
44    IRQ -> ioapic@8
45
46pwm: X86.Quark_PWM @ sysbus 0xB0000800
47    IRQ -> ioapic@9
48
49scss: Miscellaneous.Quark_SystemControlSubsystem @ sysbus <0xb0800000,+0x4000>
50    gpioPort: gpio
51
52sysbus:
53    init:
54        Tag <0xB0100000 0x400> "FLASH_CONFIGURATION_1"
55        Tag <0xB0200000 0x400> "FLASH_CONFIGURATION_2"
56        Tag <0xB0000C00 0x400> "GPIO"
57        Tag <0xB0700000 0x1000> "DMA"
58        Tag <0xB0400000 0x400> "ISRAM_CONFIG"
59        Tag <0xB0002800 0x400> "I2C_0"
60        Tag <0xB0001800 0x400> "SPI_S"
61        Tag <0xB0001000 0x400> "SPI_M0"
62        Tag <0xB0000800 0x400> "APB_TIMER"
63        Tag <0xB0000400 0x400> "RTC"
64        Tag <0xB0000000 0x400> "WATCHDOG_TIMER"
65        Tag <0xB0000C50 4> "GPIO_EXT_PORTA" 0xFFFFFFFFF
66        Tag <0xB0100014 4> "FLASH_STTS" 0xFFFFFFFF
67
68