Home Esplora Aiuto
Accedi
libreboot
/
lbmk
Segui 8
Vota 12
Forka 18
File Problemi 61 Pull Requests 1
Ramo (Branch): fsdg20230625
Rami (Branch) Tag
lbmk
/
resources
/
seabios
/
config
/
normal

normal 1.5 KB
Permalink Cronologia Originale

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192 
  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_HOST_BIOS_GEOMETRY=y
    19. 

  19. CONFIG_COREBOOT_FLASH=y
    20. 

  20. CONFIG_LZMA=y
    21. 

  21. CONFIG_CBFS_LOCATION=0
    22. 

  22. CONFIG_MULTIBOOT=y
    23. 

  23. CONFIG_ENTRY_EXTRASTACK=y
    24. 

  24. CONFIG_MALLOC_UPPERMEMORY=y
    25. 

  25. CONFIG_ROM_SIZE=0
    26. 

  26. 

  27. #
    28. 

  28. # Hardware support
    29. 

  29. #
    30. 

  30. CONFIG_ATA=y
    31. 

  31. CONFIG_ATA_DMA=y
    32. 

  32. # CONFIG_ATA_PIO32 is not set
    33. 

  33. CONFIG_AHCI=y
    34. 

  34. CONFIG_SDCARD=y
    35. 

  35. CONFIG_MEGASAS=y
    36. 

  36. CONFIG_FLOPPY=y
    37. 

  37. CONFIG_FLASH_FLOPPY=y
    38. 

  38. CONFIG_NVME=y
    39. 

  39. CONFIG_PS2PORT=y
    40. 

  40. CONFIG_USB=y
    41. 

  41. CONFIG_USB_UHCI=y
    42. 

  42. CONFIG_USB_OHCI=y
    43. 

  43. CONFIG_USB_EHCI=y
    44. 

  44. CONFIG_USB_XHCI=y
    45. 

  45. CONFIG_USB_MSC=y
    46. 

  46. CONFIG_USB_UAS=y
    47. 

  47. CONFIG_USB_HUB=y
    48. 

  48. CONFIG_USB_KEYBOARD=y
    49. 

  49. CONFIG_USB_MOUSE=y
    50. 

  50. CONFIG_SERIAL=y
    51. 

  51. CONFIG_SERCON=y
    52. 

  52. CONFIG_LPT=y
    53. 

  53. CONFIG_RTC_TIMER=y
    54. 

  54. CONFIG_HARDWARE_IRQ=y
    55. 

  55. CONFIG_PMTIMER=y
    56. 

  56. CONFIG_TSC_TIMER=y
    57. 

  57. 

  58. #
    59. 

  59. # BIOS interfaces
    60. 

  60. #
    61. 

  61. CONFIG_DRIVES=y
    62. 

  62. CONFIG_CDROM_BOOT=y
    63. 

  63. CONFIG_CDROM_EMU=y
    64. 

  64. CONFIG_PCIBIOS=y
    65. 

  65. CONFIG_APMBIOS=y
    66. 

  66. CONFIG_PNPBIOS=y
    67. 

  67. CONFIG_OPTIONROMS=y
    68. 

  68. CONFIG_PMM=y
    69. 

  69. CONFIG_BOOT=y
    70. 

  70. CONFIG_KEYBOARD=y
    71. 

  71. CONFIG_KBD_CALL_INT15_4F=y
    72. 

  72. CONFIG_MOUSE=y
    73. 

  73. CONFIG_S3_RESUME=y
    74. 

  74. CONFIG_VGAHOOKS=y
    75. 

  75. # CONFIG_DISABLE_A20 is not set
    76. 

  76. CONFIG_TCGBIOS=y
    77. 

  77. 

  78. #
    79. 

  79. # VGA ROM
    80. 

  80. #
    81. 

  81. CONFIG_NO_VGABIOS=y
    82. 

  82. # CONFIG_VGA_GEODEGX2 is not set
    83. 

  83. # CONFIG_VGA_GEODELX is not set
    84. 

  84. # CONFIG_VGA_COREBOOT is not set
    85. 

  85. # CONFIG_BUILD_VGABIOS is not set
    86. 

  86. CONFIG_VGA_EXTRA_STACK_SIZE=512
    87. 

  87. 

  88. #
    89. 

  89. # Debugging
    90. 

  90. #
    91. 

  91. CONFIG_DEBUG_LEVEL=0
    92. 

  92.