Ollie can't we use the x86 emulator + bios support?
I am sympathetic to Eric's concerns about callbacks, in spite of my having written callback support into the vgabios for linuxbios. It's so easy to lose control of that vgabios off running on its own. It seems like the emulator would let us keep things under control.
ron