vgasrc/Kconfig

   1 # Kconfig SeaBIOS VGA BIOS configuration
   2
   3 menu "VGA ROM"
   4     choice
   5         prompt "VGA Hardware Type"
   6         default NO_VGABIOS
   7
   8         config NO_VGABIOS
   9             bool "None"
  10             help
  11                 Do not build a VGA BIOS.
  12
  13         config VGA_STANDARD_VGA
  14             bool "Standard VGA"
  15             help
  16                 Build basic VGA BIOS support.
  17
  18         config VGA_CIRRUS
  19             bool "QEMU Cirrus CLGD 54xx VGA BIOS"
  20             help
  21                 Build support for Cirrus VGA emulation.
  22
  23         config VGA_BOCHS
  24             bool "Bochs DISPI interface VGA BIOS"
  25             help
  26                 Build support for Bochs DISPI interface.
  27
  28         config VGA_GEODEGX2
  29             bool "GeodeGX2 interface VGA BIOS"
  30             help
  31                 Build support for Geode GX2 vga.
  32
  33         config VGA_GEODELX
  34             bool "GeodeLX interface VGA BIOS"
  35             help
  36                 Build support for Geode LX vga.
  37     endchoice
  38
  39     config BUILD_VGABIOS
  40         bool
  41         default !NO_VGABIOS
  42
  43     config VGA_VBE
  44         depends on BUILD_VGABIOS
  45         bool "Video BIOS Extensions (VBE)"
  46         default y
  47         help
  48             Support VBE.
  49
  50     config VGA_PCI
  51         depends on BUILD_VGABIOS
  52         bool "PCI ROM Headers"
  53         default y
  54         help
  55             Build PCI ROM headers so the vga rom can be extracted from
  56             a PCI device.
  57
  58     config OVERRIDE_PCI_ID
  59         depends on VGA_PCI
  60         bool "Override PCI Vendor and Device IDs"
  61         help
  62             Specify specific values for the PCI Vendor and Device IDs.
  63
  64     config VGA_VID
  65         depends on VGA_PCI
  66         hex
  67         prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
  68         default 0x1013 if VGA_CIRRUS
  69         default 0x1234 if VGA_BOCHS
  70         default 0x100b if VGA_GEODEGX2
  71         default 0x1022 if VGA_GEODELX
  72         default 0x0000
  73         help
  74             Vendor ID for the PCI ROM
  75
  76     config VGA_DID
  77         depends on VGA_PCI
  78         hex
  79         prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
  80         default 0x00b8 if VGA_CIRRUS
  81         default 0x1111 if VGA_BOCHS
  82         default 0x0030 if VGA_GEODEGX2
  83         default 0x2081 if VGA_GEODELX
  84         default 0x0000
  85         help
  86             Device ID for the PCI ROM
  87 endmenu