Hi, > Thanks. Looks like that set of options would have broken the build > even prior to the vga patch series. There was no reason to try though ;) > I can fix the compilation with > the patch below, but it wont actually permit the vgabios to use the > debug_io support. Reasonable. cheers, Gerd