[SeaBIOS] FreeBSD VESA console not working with SeaBIOS

[Paolo Bonzini]

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