diff options
| author | Kevin O'Connor <kevin@koconnor.net> | 2012-01-15 01:52:27 -0500 |
|---|---|---|
| committer | Kevin O'Connor <kevin@koconnor.net> | 2012-01-16 12:02:34 -0500 |
| commit | a7fc815d6fa18a7143c781d65a3fdc7c9bcf1e20 (patch) | |
| tree | e7f96d218eff405bca9aedb88a2e59c753d988bc /src/Kconfig | |
| parent | b94fdc819df4e3b54642fa7d817665460776ff9d (diff) | |
| download | seabios-a7fc815d6fa18a7143c781d65a3fdc7c9bcf1e20.tar.gz | |
vgabios: Build vgabios by default if enabled in Kconfig.
Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
Diffstat (limited to 'src/Kconfig')
| -rw-r--r-- | src/Kconfig | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/Kconfig b/src/Kconfig index e6ce1177..4b72bd1c 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -327,7 +327,12 @@ endmenu menu "VGA ROM" choice prompt "VGA Hardware Type" - default VGA_CIRRUS + default NO_VGABIOS + + config NO_VGABIOS + bool "None" + help + Do not build a VGA BIOS. config VGA_STANDARD_VGA bool "Standard VGA" @@ -355,7 +360,12 @@ menu "VGA ROM" Build support for Geode LX vga. endchoice + config BUILD_VGABIOS + bool + default !NO_VGABIOS + config VGA_PCI + depends on BUILD_VGABIOS bool "PCI ROM Headers" default y help |