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_PCI
  44         depends on BUILD_VGABIOS
  45         bool "PCI ROM Headers"
  46         default y
  47         help
  48             Build PCI ROM headers so the vga rom can be extracted from
  49             a PCI device.
  50
  51     config OVERRIDE_PCI_ID
  52         depends on VGA_PCI
  53         bool "Override PCI Vendor and Device IDs"
  54         help
  55             Specify specific values for the PCI Vendor and Device IDs.
  56
  57     config VGA_VID
  58         depends on VGA_PCI
  59         hex
  60         prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
  61         default 0x1013 if VGA_CIRRUS
  62         default 0x1234 if VGA_BOCHS
  63         default 0x100b if VGA_GEODEGX2
  64         default 0x1022 if VGA_GEODELX
  65         default 0x0000
  66         help
  67             Vendor ID for the PCI ROM
  68
  69     config VGA_DID
  70         depends on VGA_PCI
  71         hex
  72         prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
  73         default 0x00b8 if VGA_CIRRUS
  74         default 0x1111 if VGA_BOCHS
  75         default 0x0030 if VGA_GEODEGX2
  76         default 0x2081 if VGA_GEODELX
  77         default 0x0000
  78         help
  79             Device ID for the PCI ROM
  80 endmenu