[SeaBIOS] [PATCH 0/4] vgabios Kconfig improvements

[Kevin O'Connor]

Improvements to the Kconfig system.  Namely, this series allows the
main makefile target to build the vgabios if selected.  (Thanks Nils
for pointing this out.)  It also fixes an issue causing the PCI vendor
id and device id to often not be populated.

-Kevin


Kevin O'Connor (4):
  vgabios: Improve vgabios Kconfig menu.
  vgabios: Build vgabios by default if enabled in Kconfig.
  vgabios: Move vgabios Kconfig definitions to vgasrc/Kconfig.
  vgabios: Make VBE code depend on a config setting.

 Makefile          |   42 ++++++++++++++-----------
 src/Kconfig       |   55 +---------------------------------
 vgasrc/Kconfig    |   87 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 vgasrc/bochsvga.c |    1 -
 vgasrc/clext.c    |    1 -
 vgasrc/vbe.c      |    3 +-
 vgasrc/vgabios.h  |    1 -
 7 files changed, 112 insertions(+), 78 deletions(-)
 create mode 100644 vgasrc/Kconfig

-- 
1.7.6.4