config 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. #
  2. # Automatically generated file; DO NOT EDIT.
  3. # SeaBIOS Configuration
  4. #
  5. #
  6. # General Features
  7. #
  8. CONFIG_COREBOOT=y
  9. # CONFIG_QEMU is not set
  10. # CONFIG_CSM is not set
  11. # CONFIG_QEMU_HARDWARE is not set
  12. CONFIG_THREADS=y
  13. CONFIG_RELOCATE_INIT=y
  14. CONFIG_BOOTMENU=y
  15. CONFIG_BOOTSPLASH=y
  16. CONFIG_BOOTORDER=y
  17. CONFIG_COREBOOT_FLASH=y
  18. CONFIG_LZMA=y
  19. CONFIG_CBFS_LOCATION=0
  20. CONFIG_MULTIBOOT=y
  21. CONFIG_ENTRY_EXTRASTACK=y
  22. CONFIG_MALLOC_UPPERMEMORY=y
  23. CONFIG_ROM_SIZE=0
  24. #
  25. # Hardware support
  26. #
  27. CONFIG_ATA=y
  28. # CONFIG_ATA_DMA is not set
  29. # CONFIG_ATA_PIO32 is not set
  30. CONFIG_AHCI=y
  31. CONFIG_SDCARD=y
  32. CONFIG_MEGASAS=y
  33. CONFIG_FLOPPY=y
  34. CONFIG_FLASH_FLOPPY=y
  35. CONFIG_NVME=y
  36. CONFIG_PS2PORT=y
  37. CONFIG_USB=y
  38. CONFIG_USB_UHCI=y
  39. CONFIG_USB_OHCI=y
  40. CONFIG_USB_EHCI=y
  41. CONFIG_USB_XHCI=y
  42. CONFIG_USB_MSC=y
  43. CONFIG_USB_UAS=y
  44. CONFIG_USB_HUB=y
  45. CONFIG_USB_KEYBOARD=y
  46. CONFIG_USB_MOUSE=y
  47. CONFIG_SERIAL=y
  48. CONFIG_SERCON=y
  49. CONFIG_LPT=y
  50. CONFIG_RTC_TIMER=y
  51. CONFIG_HARDWARE_IRQ=y
  52. CONFIG_PMTIMER=y
  53. CONFIG_TSC_TIMER=y
  54. #
  55. # BIOS interfaces
  56. #
  57. CONFIG_DRIVES=y
  58. CONFIG_CDROM_BOOT=y
  59. CONFIG_CDROM_EMU=y
  60. CONFIG_PCIBIOS=y
  61. CONFIG_APMBIOS=y
  62. CONFIG_PNPBIOS=y
  63. CONFIG_OPTIONROMS=y
  64. CONFIG_PMM=y
  65. CONFIG_BOOT=y
  66. CONFIG_KEYBOARD=y
  67. CONFIG_KBD_CALL_INT15_4F=y
  68. CONFIG_MOUSE=y
  69. CONFIG_S3_RESUME=y
  70. CONFIG_VGAHOOKS=y
  71. # CONFIG_DISABLE_A20 is not set
  72. CONFIG_TCGBIOS=y
  73. #
  74. # VGA ROM
  75. #
  76. # CONFIG_NO_VGABIOS is not set
  77. # CONFIG_VGA_GEODEGX2 is not set
  78. # CONFIG_VGA_GEODELX is not set
  79. CONFIG_VGA_COREBOOT=y
  80. CONFIG_BUILD_VGABIOS=y
  81. CONFIG_VGA_EMULATE_TEXT=y
  82. CONFIG_VGA_FIXUP_ASM=y
  83. CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
  84. CONFIG_VGA_EXTRA_STACK_SIZE=512
  85. CONFIG_VGA_VBE=y
  86. #
  87. # Debugging
  88. #
  89. CONFIG_DEBUG_LEVEL=1
  90. # CONFIG_DEBUG_SERIAL is not set
  91. # CONFIG_DEBUG_SERIAL_MMIO is not set
  92. CONFIG_DEBUG_COREBOOT=y