mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
Ian Campbell
f8079d5208
Only lightly tested with a Linux HVM guest PXE boot. Accept the defaults for the config options. Many of them are not relevant to Xen but this matches what others (at least the Debian SeaBIOS packages and the binary shipped by Qemu) are doing. The Debian Xen packages are built against Debian's SeaBIOS package so there is value in being similar. Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com> Committed-by: Ian Campbell <ian.campbell@citrix.com>
91 lines
1.5 KiB
Plaintext
91 lines
1.5 KiB
Plaintext
#
|
|
# Automatically generated make config: don't edit
|
|
# SeaBIOS Configuration
|
|
# Thu Jan 3 17:25:45 2013
|
|
#
|
|
|
|
#
|
|
# General Features
|
|
#
|
|
# CONFIG_COREBOOT is not set
|
|
CONFIG_XEN=y
|
|
CONFIG_THREADS=y
|
|
# CONFIG_THREAD_OPTIONROMS is not set
|
|
CONFIG_RELOCATE_INIT=y
|
|
CONFIG_BOOTMENU=y
|
|
# CONFIG_BOOTSPLASH is not set
|
|
CONFIG_BOOTORDER=y
|
|
|
|
#
|
|
# Hardware support
|
|
#
|
|
CONFIG_ATA=y
|
|
CONFIG_ATA_DMA=y
|
|
CONFIG_ATA_PIO32=y
|
|
CONFIG_AHCI=y
|
|
CONFIG_VIRTIO_BLK=y
|
|
CONFIG_VIRTIO_SCSI=y
|
|
CONFIG_ESP_SCSI=y
|
|
CONFIG_LSI_SCSI=y
|
|
CONFIG_FLOPPY=y
|
|
CONFIG_PS2PORT=y
|
|
CONFIG_USB=y
|
|
CONFIG_USB_UHCI=y
|
|
CONFIG_USB_OHCI=y
|
|
CONFIG_USB_EHCI=y
|
|
CONFIG_USB_MSC=y
|
|
CONFIG_USB_UAS=y
|
|
CONFIG_USB_HUB=y
|
|
CONFIG_USB_KEYBOARD=y
|
|
CONFIG_USB_MOUSE=y
|
|
CONFIG_SERIAL=y
|
|
CONFIG_LPT=y
|
|
CONFIG_USE_SMM=y
|
|
CONFIG_MTRR_INIT=y
|
|
|
|
#
|
|
# BIOS interfaces
|
|
#
|
|
CONFIG_DRIVES=y
|
|
CONFIG_CDROM_BOOT=y
|
|
CONFIG_CDROM_EMU=y
|
|
CONFIG_PCIBIOS=y
|
|
CONFIG_APMBIOS=y
|
|
CONFIG_PNPBIOS=y
|
|
CONFIG_OPTIONROMS=y
|
|
# CONFIG_OPTIONROMS_DEPLOYED is not set
|
|
CONFIG_PMM=y
|
|
CONFIG_BOOT=y
|
|
CONFIG_KEYBOARD=y
|
|
CONFIG_KBD_CALL_INT15_4F=y
|
|
CONFIG_MOUSE=y
|
|
CONFIG_S3_RESUME=y
|
|
CONFIG_VGAHOOKS=y
|
|
# CONFIG_DISABLE_A20 is not set
|
|
|
|
#
|
|
# BIOS Tables
|
|
#
|
|
CONFIG_PIRTABLE=y
|
|
CONFIG_MPTABLE=y
|
|
CONFIG_SMBIOS=y
|
|
CONFIG_ACPI=y
|
|
|
|
#
|
|
# VGA ROM
|
|
#
|
|
CONFIG_NO_VGABIOS=y
|
|
# CONFIG_VGA_STANDARD_VGA is not set
|
|
# CONFIG_VGA_CIRRUS is not set
|
|
# CONFIG_VGA_BOCHS is not set
|
|
# CONFIG_VGA_GEODEGX2 is not set
|
|
# CONFIG_VGA_GEODELX is not set
|
|
# CONFIG_BUILD_VGABIOS is not set
|
|
|
|
#
|
|
# Debugging
|
|
#
|
|
CONFIG_DEBUG_LEVEL=1
|
|
# CONFIG_DEBUG_SERIAL is not set
|
|
CONFIG_DEBUG_IO=y
|