On 09/04/2015 10:59, Jon Doe wrote:
Might be instructive to look at how vmware and virtualbox BIOSes is able to work around this problem. Surely their BIOS code is written in C?
At least Bochs's vgabios was written to run exclusively in 16-bit mode, using not just a different compiler than gcc but effectively another instruction set (16-bit x86 instructions and especially 16-bit addressing modes are almost never used in 32-bit mode).
Paolo