Home Explore Help
Sign In
sonne
/
libreboot
forked from libreboot/obsolete-repository-preserved-for-historical-purposes
Watch 1
Star 0
Fork 0
Files
Tree: b305d51da1
Branches Tags
libreboot
/
resources
/
seabios
/
config
/
config

config 1.5 KB
History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 
  1. #
    2. 

  2. # Automatically generated file; DO NOT EDIT.
    3. 

  3. # SeaBIOS Configuration
    4. 

  4. #
    5. 

  5. 

  6. #
    7. 

  7. # General Features
    8. 

  8. #
    9. 

  9. CONFIG_COREBOOT=y
    10. 

  10. # CONFIG_QEMU is not set
    11. 

  11. # CONFIG_CSM is not set
    12. 

  12. # CONFIG_QEMU_HARDWARE is not set
    13. 

  13. CONFIG_THREADS=y
    14. 

  14. CONFIG_RELOCATE_INIT=y
    15. 

  15. CONFIG_BOOTMENU=y
    16. 

  16. CONFIG_BOOTSPLASH=y
    17. 

  17. CONFIG_BOOTORDER=y
    18. 

  18. CONFIG_COREBOOT_FLASH=y
    19. 

  19. CONFIG_LZMA=y
    20. 

  20. CONFIG_CBFS_LOCATION=0
    21. 

  21. CONFIG_MULTIBOOT=y
    22. 

  22. CONFIG_ENTRY_EXTRASTACK=y
    23. 

  23. CONFIG_MALLOC_UPPERMEMORY=y
    24. 

  24. CONFIG_ROM_SIZE=0
    25. 

  25. 

  26. #
    27. 

  27. # Hardware support
    28. 

  28. #
    29. 

  29. CONFIG_ATA=y
    30. 

  30. # CONFIG_ATA_DMA is not set
    31. 

  31. # CONFIG_ATA_PIO32 is not set
    32. 

  32. CONFIG_AHCI=y
    33. 

  33. CONFIG_SDCARD=y
    34. 

  34. CONFIG_MEGASAS=y
    35. 

  35. CONFIG_FLOPPY=y
    36. 

  36. CONFIG_FLASH_FLOPPY=y
    37. 

  37. CONFIG_PS2PORT=y
    38. 

  38. CONFIG_USB=y
    39. 

  39. CONFIG_USB_UHCI=y
    40. 

  40. CONFIG_USB_OHCI=y
    41. 

  41. CONFIG_USB_EHCI=y
    42. 

  42. CONFIG_USB_XHCI=y
    43. 

  43. CONFIG_USB_MSC=y
    44. 

  44. CONFIG_USB_UAS=y
    45. 

  45. CONFIG_USB_HUB=y
    46. 

  46. CONFIG_USB_KEYBOARD=y
    47. 

  47. CONFIG_USB_MOUSE=y
    48. 

  48. CONFIG_SERIAL=y
    49. 

  49. CONFIG_LPT=y
    50. 

  50. CONFIG_RTC_TIMER=y
    51. 

  51. CONFIG_HARDWARE_IRQ=y
    52. 

  52. CONFIG_PMTIMER=y
    53. 

  53. CONFIG_TSC_TIMER=y
    54. 

  54. 

  55. #
    56. 

  56. # BIOS interfaces
    57. 

  57. #
    58. 

  58. CONFIG_DRIVES=y
    59. 

  59. CONFIG_CDROM_BOOT=y
    60. 

  60. CONFIG_CDROM_EMU=y
    61. 

  61. CONFIG_PCIBIOS=y
    62. 

  62. CONFIG_APMBIOS=y
    63. 

  63. CONFIG_PNPBIOS=y
    64. 

  64. CONFIG_OPTIONROMS=y
    65. 

  65. CONFIG_PMM=y
    66. 

  66. CONFIG_BOOT=y
    67. 

  67. CONFIG_KEYBOARD=y
    68. 

  68. CONFIG_KBD_CALL_INT15_4F=y
    69. 

  69. CONFIG_MOUSE=y
    70. 

  70. CONFIG_S3_RESUME=y
    71. 

  71. CONFIG_VGAHOOKS=y
    72. 

  72. # CONFIG_DISABLE_A20 is not set
    73. 

  73. CONFIG_TCGBIOS=y
    74. 

  74. 

  75. #
    76. 

  76. # VGA ROM
    77. 

  77. #
    78. 

  78. CONFIG_NO_VGABIOS=y
    79. 

  79. # CONFIG_VGA_GEODEGX2 is not set
    80. 

  80. # CONFIG_VGA_GEODELX is not set
    81. 

  81. # CONFIG_VGA_COREBOOT is not set
    82. 

  82. # CONFIG_BUILD_VGABIOS is not set
    83. 

  83. CONFIG_VGA_EXTRA_STACK_SIZE=512
    84. 

  84. 

  85. #
    86. 

  86. # Debugging
    87. 

  87. #
    88. 

  88. CONFIG_DEBUG_LEVEL=1
    89. 

  89. # CONFIG_DEBUG_SERIAL is not set
    90. 

  90. CONFIG_DEBUG_COREBOOT=y
    91. 

  91.