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