seabios-debug.config 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  1. #
  2. # Automatically generated file; DO NOT EDIT.
  3. # SeaBIOS Configuration
  4. #
  5. #
  6. # General Features
  7. #
  8. # CONFIG_COREBOOT is not set
  9. CONFIG_QEMU=y
  10. # CONFIG_CSM is not set
  11. CONFIG_QEMU_HARDWARE=y
  12. CONFIG_XEN=y
  13. CONFIG_THREADS=y
  14. # CONFIG_RELOCATE_INIT is not set
  15. # CONFIG_BOOTMENU is not set
  16. CONFIG_BOOTORDER=y
  17. CONFIG_MULTIBOOT=y
  18. CONFIG_ENTRY_EXTRASTACK=y
  19. CONFIG_MALLOC_UPPERMEMORY=y
  20. CONFIG_ROM_SIZE=0
  21. #
  22. # Hardware support
  23. #
  24. CONFIG_ATA=y
  25. CONFIG_ATA_DMA=y
  26. CONFIG_ATA_PIO32=y
  27. CONFIG_AHCI=y
  28. CONFIG_SDCARD=y
  29. CONFIG_VIRTIO_BLK=y
  30. CONFIG_VIRTIO_SCSI=y
  31. CONFIG_PVSCSI=y
  32. CONFIG_ESP_SCSI=y
  33. CONFIG_LSI_SCSI=y
  34. CONFIG_MEGASAS=y
  35. CONFIG_MPT_SCSI=y
  36. CONFIG_FLOPPY=y
  37. CONFIG_FLASH_FLOPPY=y
  38. # CONFIG_NVME is not set
  39. CONFIG_PS2PORT=y
  40. # CONFIG_USB is not set
  41. CONFIG_SERIAL=y
  42. # CONFIG_SERCON is not set
  43. CONFIG_LPT=y
  44. CONFIG_RTC_TIMER=y
  45. CONFIG_HARDWARE_IRQ=y
  46. CONFIG_USE_SMM=y
  47. CONFIG_CALL32_SMM=y
  48. CONFIG_MTRR_INIT=y
  49. CONFIG_PMTIMER=y
  50. CONFIG_TSC_TIMER=y
  51. #
  52. # BIOS interfaces
  53. #
  54. CONFIG_DRIVES=y
  55. CONFIG_CDROM_BOOT=y
  56. CONFIG_CDROM_EMU=y
  57. CONFIG_PCIBIOS=y
  58. CONFIG_APMBIOS=y
  59. CONFIG_PNPBIOS=y
  60. CONFIG_OPTIONROMS=y
  61. CONFIG_PMM=y
  62. CONFIG_BOOT=y
  63. CONFIG_KEYBOARD=y
  64. CONFIG_KBD_CALL_INT15_4F=y
  65. CONFIG_MOUSE=y
  66. CONFIG_S3_RESUME=y
  67. CONFIG_VGAHOOKS=y
  68. # CONFIG_DISABLE_A20 is not set
  69. # CONFIG_WRITABLE_UPPERMEMORY is not set
  70. CONFIG_TCGBIOS=y
  71. #
  72. # BIOS Tables
  73. #
  74. CONFIG_PIRTABLE=y
  75. CONFIG_MPTABLE=y
  76. # CONFIG_SMBIOS is not set
  77. CONFIG_ACPI=y
  78. CONFIG_ACPI_DSDT=y
  79. CONFIG_FW_ROMFILE_LOAD=y
  80. #
  81. # VGA ROM
  82. #
  83. # CONFIG_NO_VGABIOS is not set
  84. # CONFIG_VGA_STANDARD_VGA is not set
  85. # CONFIG_VGA_CIRRUS is not set
  86. CONFIG_VGA_BOCHS=y
  87. # CONFIG_VGA_GEODEGX2 is not set
  88. # CONFIG_VGA_GEODELX is not set
  89. # CONFIG_DISPLAY_BOCHS is not set
  90. # CONFIG_VGA_RAMFB is not set
  91. CONFIG_VGA_BOCHS_STDVGA=y
  92. # CONFIG_VGA_BOCHS_VMWARE is not set
  93. # CONFIG_VGA_BOCHS_QXL is not set
  94. # CONFIG_VGA_BOCHS_VIRTIO is not set
  95. CONFIG_BUILD_VGABIOS=y
  96. CONFIG_VGA_STDVGA_PORTS=y
  97. CONFIG_VGA_FIXUP_ASM=y
  98. CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
  99. CONFIG_VGA_EXTRA_STACK_SIZE=512
  100. CONFIG_VGA_VBE=y
  101. CONFIG_VGA_PCI=y
  102. CONFIG_OVERRIDE_PCI_ID=y
  103. CONFIG_VGA_VID=0x1234
  104. CONFIG_VGA_DID=0x1111
  105. #
  106. # Debugging
  107. #
  108. CONFIG_DEBUG_LEVEL=8
  109. # CONFIG_DEBUG_SERIAL is not set
  110. # CONFIG_DEBUG_SERIAL_MMIO is not set
  111. CONFIG_DEBUG_IO=y