1biosMemory: Memory.MappedMemory @ { 2 sysbus 0x0; 3 sysbus <0xFF0000, +0x10000>; 4 sysbus <0xFFFF0000, +0x10000> 5 } 6 size: 0xFF0000 7 8sdram: Memory.MappedMemory @ sysbus 0x1000000 9 size: 0x20000000 10 11uart: UART.NS16550 @ sysbus 0xE00003F8 12 13cpu: CPU.X86 @ sysbus 14 cpuType: "n270" 15 lapic: lapic 16 17lapic: IRQControllers.LAPIC @ sysbus 0xFEE00000 18 IRQ -> cpu@0 19 20hpet: Timers.HPET @ sysbus 0xFED00000 21 22sysbus: 23 init: 24 Tag <0xE0000020 1> "PIC1_CMD" 25 Tag <0xE0000021 1> "PIC1_DATA" 26 Tag <0xE00000A0 1> "PIC2_CMD" 27 Tag <0xE00000A1 1> "PIC2_DATA" 28 Tag <0xE0000040 1> "PIT_CHANNEL0" 29 Tag <0xE0000041 1> "PIT_CHANNEL1" 30 Tag <0xE0000042 1> "PIT_CHANNEL2" 31 Tag <0xE0000043 1> "PIT_CMDREG" 32 Tag <0xE0000CF8 4> "PCI_ADDRESS" 33 Tag <0xE0000CFC 4> "PCI_DATA" 34 Tag <0xE0000070 1> "CMOS_ADDRESS" 35 Tag <0xE0000071 1> "CMOS_DATA" 36