summaryrefslogtreecommitdiffstats
path: root/qemu/roms/openbios/config/examples
diff options
context:
space:
mode:
Diffstat (limited to 'qemu/roms/openbios/config/examples')
-rw-r--r--qemu/roms/openbios/config/examples/amd64_config.xml61
-rw-r--r--qemu/roms/openbios/config/examples/ppc64_config.xml77
-rw-r--r--qemu/roms/openbios/config/examples/ppc_config.xml85
-rw-r--r--qemu/roms/openbios/config/examples/sparc32_config.xml74
-rw-r--r--qemu/roms/openbios/config/examples/sparc64_config.xml74
-rw-r--r--qemu/roms/openbios/config/examples/x86_config.xml63
6 files changed, 0 insertions, 434 deletions
diff --git a/qemu/roms/openbios/config/examples/amd64_config.xml b/qemu/roms/openbios/config/examples/amd64_config.xml
deleted file mode 100644
index e8904b78d..000000000
--- a/qemu/roms/openbios/config/examples/amd64_config.xml
+++ /dev/null
@@ -1,61 +0,0 @@
- <!-- kernel binaries (AMD64) -->
- <option name="CONFIG_IMAGE_ELF_MULTIBOOT" type="boolean" value="true"/>
-
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_PORT" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
- <option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="false"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="false"/>
- <option name="CONFIG_HFSP" type="boolean" value="true"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="true"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_LINUXBIOS" type="boolean" value="true"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
- <option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="4"/>
- <option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_VGA" type="boolean" value="false"/>
diff --git a/qemu/roms/openbios/config/examples/ppc64_config.xml b/qemu/roms/openbios/config/examples/ppc64_config.xml
deleted file mode 100644
index 5f79c21cc..000000000
--- a/qemu/roms/openbios/config/examples/ppc64_config.xml
+++ /dev/null
@@ -1,77 +0,0 @@
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
- <option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_OFMEM" type="boolean" value="true"/>
- <option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="4"/>
- <option name="CONFIG_VGA_WIDTH" type="integer" value="800"/>
- <option name="CONFIG_VGA_HEIGHT" type="integer" value="600"/>
- <option name="CONFIG_VGA_DEPTH" type="integer" value="8"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="true"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_MAC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_MAC_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="true"/>
- <option name="CONFIG_HFSP" type="boolean" value="true"/>
- <option name="CONFIG_ISO9660" type="boolean" value="true"/>
- <option name="CONFIG_EXT2" type="boolean" value="true"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
- <option name="CONFIG_RTAS" type="boolean" value="false"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
- <option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="2"/>
- <option name="CONFIG_IDE_FIRST_UNIT" type="integer" value="1"/>
- <option name="CONFIG_IDE_DEV_NAME" type="string" value="ata-%d"/>
- <option name="CONFIG_IDE_DEV_TYPE" type="string" value="ata"/>
- <option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_ADB" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_MACIO" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_ESCC" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
- <option name="CONFIG_FW_CFG_ADDR" type="integer" value="0xf0000510"/>
diff --git a/qemu/roms/openbios/config/examples/ppc_config.xml b/qemu/roms/openbios/config/examples/ppc_config.xml
deleted file mode 100644
index 4c14eb6c8..000000000
--- a/qemu/roms/openbios/config/examples/ppc_config.xml
+++ /dev/null
@@ -1,85 +0,0 @@
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_PC_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_PC_KBD" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
- <option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_OFMEM" type="boolean" value="true"/>
- <option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="4"/>
- <option name="CONFIG_VGA_WIDTH" type="integer" value="800"/>
- <option name="CONFIG_VGA_HEIGHT" type="integer" value="600"/>
- <option name="CONFIG_VGA_DEPTH" type="integer" value="8"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_BOOTCODE" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="true"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_MAC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_MAC_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="true"/>
- <option name="CONFIG_HFSP" type="boolean" value="true"/>
- <option name="CONFIG_ISO9660" type="boolean" value="true"/>
- <option name="CONFIG_EXT2" type="boolean" value="true"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_PPC_64BITSUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
- <option name="CONFIG_RTAS" type="boolean" value="false"/>
- <option name="CONFIG_LOCALS" type="boolean" value="true"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
- <option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="2"/>
- <option name="CONFIG_IDE_FIRST_UNIT" type="integer" value="1"/>
- <option name="CONFIG_IDE_DEV_NAME" type="string" value="ata-%d"/>
- <option name="CONFIG_IDE_DEV_TYPE" type="string" value="ata"/>
- <option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_ADB" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_MACIO" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_ESCC" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
- <option name="CONFIG_FW_CFG_ADDR" type="integer" value="0xf0000510"/>
- <option name="CONFIG_DRIVER_USB" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_USB" type="boolean" value="false"/>
- <option name="CONFIG_USB_HID" type="boolean" value="true"/>
diff --git a/qemu/roms/openbios/config/examples/sparc32_config.xml b/qemu/roms/openbios/config/examples/sparc32_config.xml
deleted file mode 100644
index f2d6afc72..000000000
--- a/qemu/roms/openbios/config/examples/sparc32_config.xml
+++ /dev/null
@@ -1,74 +0,0 @@
- <!-- kernel binaries (SPARC32) -->
- <option name="CONFIG_IMAGE_ELF_MULTIBOOT" type="boolean" value="true"/>
-
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_VIDEO" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_ESP" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_SUN_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_OBP" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_IOMMU" type="boolean" value="false"/>
- <option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="9600"/>
- <option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_OFMEM" type="boolean" value="true"/>
- <option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="8"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="false"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_SUN_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="false"/>
- <option name="CONFIG_HFSP" type="boolean" value="false"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_EXT2FS" type="boolean" value="false"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_SBUS" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_SBUS" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_OBIO" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_ESP" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FLOPPY" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_FLOPPY" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_ESCC" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_ESCC_SUN" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
- <option name="CONFIG_FW_CFG_ADDR" type="integer" value="0xd00000510ULL"/>
diff --git a/qemu/roms/openbios/config/examples/sparc64_config.xml b/qemu/roms/openbios/config/examples/sparc64_config.xml
deleted file mode 100644
index a4e1336b4..000000000
--- a/qemu/roms/openbios/config/examples/sparc64_config.xml
+++ /dev/null
@@ -1,74 +0,0 @@
- <!-- kernel binaries (SPARC64) -->
- <option name="CONFIG_IMAGE_ELF_MULTIBOOT" type="boolean" value="true"/>
-
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_SUN_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_SERIAL_PORT" type="integer" value="0"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
- <option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_OFMEM" type="boolean" value="false"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_OFMEM" type="boolean" value="true"/>
- <option name="CONFIG_OFMEM_MALLOC_ALIGN" type="integer" value="8"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="false"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="false"/>
- <option name="CONFIG_SUN_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="false"/>
- <option name="CONFIG_HFSP" type="boolean" value="false"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_EXT2FS" type="boolean" value="false"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_LINUXBIOS" type="boolean" value="false"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
- <option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="2"/>
- <option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_FLOPPY" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_FLOPPY" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_EBUS" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_PC_KBD" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_PC_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FW_CFG" type="boolean" value="true"/>
- <option name="CONFIG_FW_CFG_ADDR" type="integer" value="0x510"/>
diff --git a/qemu/roms/openbios/config/examples/x86_config.xml b/qemu/roms/openbios/config/examples/x86_config.xml
deleted file mode 100644
index 390eaba52..000000000
--- a/qemu/roms/openbios/config/examples/x86_config.xml
+++ /dev/null
@@ -1,63 +0,0 @@
- <!-- kernel binaries (AMD64) -->
- <option name="CONFIG_IMAGE_ELF_MULTIBOOT" type="boolean" value="true"/>
-
- <!-- Kernel Debugging -->
- <option name="CONFIG_DEBUG" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_BOOT" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_DSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_RSTACK" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_DICTIONARY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERNAL" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_INTERPRETER" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_CONSOLE" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_CONSOLE_SERIAL" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_PORT" type="boolean" value="true"/>
- <option name="CONFIG_SERIAL_SPEED" type="integer" value="115200"/>
- <option name="CONFIG_DEBUG_CONSOLE_VGA" type="boolean" value="true"/>
-
-
- <!-- Module Configuration -->
- <option name="CONFIG_CMDLINE" type="boolean" value="true"/>
- <option name="CONFIG_DEBLOCKER" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X8" type="boolean" value="true"/>
- <option name="CONFIG_FONT_8X16" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_AOUT" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_BOOTINFO" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_ELF" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_FCODE" type="boolean" value="false"/>
- <option name="CONFIG_LOADER_FORTH" type="boolean" value="true"/>
- <option name="CONFIG_LOADER_XCOFF" type="boolean" value="false"/>
-
- <!-- Filesystem Configuration -->
- <option name="CONFIG_DISK_LABEL" type="boolean" value="true"/>
- <option name="CONFIG_PART_SUPPORT" type="boolean" value="true"/>
- <option name="CONFIG_PC_PARTS" type="boolean" value="true"/>
- <option name="CONFIG_HFS" type="boolean" value="false"/>
- <option name="CONFIG_HFSP" type="boolean" value="false"/>
- <option name="CONFIG_GRUBFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_EXT2FS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FAT" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_JFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_MINIX" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_REISERFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_XFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_UFS" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_ISO9660" type="boolean" value="true"/>
- <option name="CONFIG_FSYS_FFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_VSTAFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_NTFS" type="boolean" value="false"/>
- <option name="CONFIG_FSYS_AFFS" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FS" type="boolean" value="false"/>
-
- <!-- Miscellaneous -->
- <option name="CONFIG_LINUXBIOS" type="boolean" value="true"/>
-
- <!-- Drivers -->
- <option name="CONFIG_DRIVER_PCI" type="boolean" value="true"/>
- <option name="CONFIG_DEBUG_PCI" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_IDE" type="boolean" value="true"/>
- <option name="CONFIG_IDE_NUM_CHANNELS" type="integer" value="4"/>
- <option name="CONFIG_DEBUG_IDE" type="boolean" value="false"/>
- <option name="CONFIG_DRIVER_VGA" type="boolean" value="true"/>
- <option name="CONFIG_DRIVER_FLOPPY" type="boolean" value="false"/>
- <option name="CONFIG_DEBUG_FLOPPY" type="boolean" value="false"/>