dram: Memory.MappedMemory @ sysbus 0x0
    size: 0x80000000

uart: UART.NS16550 @ sysbus 0xa0000000

cpu0: CPU.X86_64 @ sysbus
    cpuType: "x86_64"
    lapic: lapic0

cpu1: CPU.X86_64 @ sysbus
    cpuType: "x86_64"
    lapic: lapic1

lapic0: IRQControllers.LAPIC @ sysbus new Bus.BusPointRegistration { address: 0xFEE00000; cpu: cpu0 }
    id: 0x0
    IRQ -> cpu0@0

lapic1: IRQControllers.LAPIC @ sysbus new Bus.BusPointRegistration { address: 0xFEE00000; cpu: cpu1 }
    id: 0x1
    IRQ -> cpu1@0

hpet: Timers.HPET @ sysbus 0xFED00000

pci: Python.PythonPeripheral @ sysbus 0xE0000CF8
    size: 0x400
    initable: false
    script: '''
if request.isRead:
    if addr == 0x0:
        # ns16550 vendor and device ID
        request.value = 0x5abc8086
    elif addr == 0x10:
        # address to memory-mapped accesses, it should be the same as 'uart' point of registration
        request.value = 0xa0000000
else:
    addr = request.value & 0xFF
'''

sysbus:
    init:
        Tag <0xE0000020 1> "PIC1_CMD"
        Tag <0xE0000021 1> "PIC1_DATA"
        Tag <0xE00000A0 1> "PIC2_CMD"
        Tag <0xE00000A1 1> "PIC2_DATA"
        Tag <0xE0000040 1> "PIT_CHANNEL0"
        Tag <0xE0000041 1> "PIT_CHANNEL1"
        Tag <0xE0000042 1> "PIT_CHANNEL2"
        Tag <0xE0000043 1> "PIT_CMDREG"
        Tag <0xE0000CF8 4> "PCI_ADDRESS"
        Tag <0xE0000CFC 4> "PCI_DATA"
        Tag <0xE0000070 1> "CMOS_ADDRESS"
        Tag <0xE0000071 1> "CMOS_DATA"