bios/seabios/palacios_config

   1 #
   2 # Automatically generated make config: don't edit
   3 # SeaBIOS Configuration
   4 # Wed Mar 14 18:51:09 2012
   5 #
   6
   7 #
   8 # General Features
   9 #
  10 # CONFIG_COREBOOT is not set
  11 # CONFIG_XEN is not set
  12 # CONFIG_THREADS is not set
  13 CONFIG_RELOCATE_INIT=y
  14 CONFIG_BOOTMENU=y
  15 CONFIG_BOOTSPLASH=y
  16 CONFIG_BOOTORDER=y
  17
  18 #
  19 # Hardware support
  20 #
  21 CONFIG_ATA=y
  22 CONFIG_ATA_DMA=y
  23 CONFIG_ATA_PIO32=y
  24 # CONFIG_AHCI is not set
  25 CONFIG_VIRTIO_BLK=y
  26 CONFIG_FLOPPY=y
  27 CONFIG_PS2PORT=y
  28 CONFIG_USB=y
  29 CONFIG_USB_UHCI=y
  30 CONFIG_USB_OHCI=y
  31 CONFIG_USB_EHCI=y
  32 CONFIG_USB_MSC=y
  33 CONFIG_USB_HUB=y
  34 CONFIG_USB_KEYBOARD=y
  35 CONFIG_USB_MOUSE=y
  36 CONFIG_SERIAL=y
  37 CONFIG_LPT=y
  38 CONFIG_USE_SMM=y
  39 # CONFIG_MTRR_INIT is not set
  40
  41 #
  42 # BIOS interfaces
  43 #
  44 CONFIG_DRIVES=y
  45 CONFIG_CDROM_BOOT=y
  46 CONFIG_CDROM_EMU=y
  47 CONFIG_PCIBIOS=y
  48 CONFIG_APMBIOS=y
  49 CONFIG_PNPBIOS=y
  50 CONFIG_OPTIONROMS=y
  51 CONFIG_OPTIONROMS_DEPLOYED=y
  52 CONFIG_PMM=y
  53 CONFIG_BOOT=y
  54 CONFIG_KEYBOARD=y
  55 CONFIG_KBD_CALL_INT15_4F=y
  56 CONFIG_MOUSE=y
  57 CONFIG_S3_RESUME=y
  58 # CONFIG_DISABLE_A20 is not set
  59
  60 #
  61 # BIOS Tables
  62 #
  63 CONFIG_PIRTABLE=y
  64 CONFIG_MPTABLE=y
  65 CONFIG_SMBIOS=y
  66 CONFIG_ACPI=y
  67
  68 #
  69 # Debugging
  70 #
  71 CONFIG_DEBUG_LEVEL=1
  72 # CONFIG_DEBUG_SERIAL is not set