Open source implementation of a 16-bit x86 BIOS