vgarom 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_HOST_BIOS_GEOMETRY=y
  18. CONFIG_COREBOOT_FLASH=y
  19. CONFIG_LZMA=y
  20. CONFIG_CBFS_LOCATION=0
  21. CONFIG_MULTIBOOT=y
  22. CONFIG_ENTRY_EXTRASTACK=y
  23. CONFIG_MALLOC_UPPERMEMORY=y
  24. CONFIG_ROM_SIZE=0
  25. #
  26. # Hardware support
  27. #
  28. CONFIG_ATA=y
  29. # CONFIG_ATA_DMA is not set
  30. # CONFIG_ATA_PIO32 is not set
  31. CONFIG_AHCI=y
  32. CONFIG_SDCARD=y
  33. CONFIG_MEGASAS=y
  34. CONFIG_FLOPPY=y
  35. CONFIG_FLASH_FLOPPY=y
  36. CONFIG_NVME=y
  37. CONFIG_PS2PORT=y
  38. CONFIG_USB=y
  39. CONFIG_USB_UHCI=y
  40. CONFIG_USB_OHCI=y
  41. CONFIG_USB_EHCI=y
  42. CONFIG_USB_XHCI=y
  43. CONFIG_USB_MSC=y
  44. CONFIG_USB_UAS=y
  45. CONFIG_USB_HUB=y
  46. CONFIG_USB_KEYBOARD=y
  47. CONFIG_USB_MOUSE=y
  48. CONFIG_SERIAL=y
  49. CONFIG_SERCON=y
  50. CONFIG_LPT=y
  51. CONFIG_RTC_TIMER=y
  52. CONFIG_HARDWARE_IRQ=y
  53. CONFIG_PMTIMER=y
  54. CONFIG_TSC_TIMER=y
  55. #
  56. # BIOS interfaces
  57. #
  58. CONFIG_DRIVES=y
  59. CONFIG_CDROM_BOOT=y
  60. CONFIG_CDROM_EMU=y
  61. CONFIG_PCIBIOS=y
  62. CONFIG_APMBIOS=y
  63. CONFIG_PNPBIOS=y
  64. CONFIG_OPTIONROMS=y
  65. CONFIG_PMM=y
  66. CONFIG_BOOT=y
  67. CONFIG_KEYBOARD=y
  68. CONFIG_KBD_CALL_INT15_4F=y
  69. CONFIG_MOUSE=y
  70. CONFIG_S3_RESUME=y
  71. CONFIG_VGAHOOKS=y
  72. # CONFIG_DISABLE_A20 is not set
  73. CONFIG_TCGBIOS=y
  74. #
  75. # VGA ROM
  76. #
  77. CONFIG_NO_VGABIOS=y
  78. # CONFIG_VGA_STANDARD_VGA is not set
  79. # CONFIG_VGA_CIRRUS is not set
  80. # CONFIG_VGA_ATI is not set
  81. # CONFIG_VGA_BOCHS is not set
  82. # CONFIG_VGA_GEODEGX2 is not set
  83. # CONFIG_VGA_GEODELX is not set
  84. # CONFIG_VGA_COREBOOT is not set
  85. # CONFIG_DISPLAY_BOCHS is not set
  86. # CONFIG_VGA_RAMFB is not set
  87. # CONFIG_BUILD_VGABIOS is not set
  88. CONFIG_VGA_EXTRA_STACK_SIZE=512
  89. #
  90. # Debugging
  91. #
  92. CONFIG_DEBUG_LEVEL=0