40 lines
1.1 KiB
INI
40 lines
1.1 KiB
INI
<config colocate="1">
|
|
<machine>
|
|
<mem start="0x0" end="0x9a000"/>
|
|
<mem start="0x100000" end="0xfffff000"/>
|
|
<!--<ioio/>-->
|
|
<nullio io_base="0x80" />
|
|
<pic io_base="0x20" elcr_base="0x4d0"/>
|
|
<pic io_base="0xa0" irq="2" elcr_base="0x4d1"/>
|
|
<pit io_base="0x40" irq="0"/>
|
|
<scp io_port_a="0x92" io_port_b="0x61"/>
|
|
<kbc io_base="0x60" irq_kbd="1" irq_aux="12"/>
|
|
<keyb ps2_port="0" host_keyboard="0x10000"/>
|
|
<mouse ps2_port="1" host_mouse="0x10001"/>
|
|
<rtc io_base="0x70" irq="8"/>
|
|
<serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/>
|
|
<hostsink host_dev="0x4712" buffer="80"/>
|
|
<vga io_base="0x03c0"/>
|
|
|
|
<vbios_disk/>
|
|
<vbios_keyboard host_keyboard="0x10000"/>
|
|
<vbios_mem/>
|
|
<vbios_time/>
|
|
<vbios_reset/>
|
|
|
|
<msi/>
|
|
<ioapic/>
|
|
<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
|
|
mem_base="0xe0000000"/>
|
|
<pmtimer io_port="0x8000"/>
|
|
|
|
<vcpu/> <halifax/> <vbios/> <lapic/>
|
|
|
|
<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
|
|
<drive sigma0drive="0" controller="0" port="0"/>
|
|
<drive sigma0drive="1" controller="0" port="1"/>
|
|
<rtl8029 irq="9" port="0x300"/>
|
|
</machine>
|
|
<multiboot/>
|
|
</config>
|