2012-04-06_14:14.seabios.config

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