bios/seabios/.config

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