#include "optionroms.h" // struct pci_data
#include "config.h" // CONFIG_*
#include "vbe.h" // vbe_*
+#include "geodelx.h" // geodelx_init
// XXX
#define DEBUG_VGA_POST 1
vgahw_init();
+ if (CONFIG_VGA_GEODELX)
+ geodelx_init();
+
init_bios_area();
vbe_init(regs->ah, regs->al);