SeaBIOS – Open-source implementation of a 16bit x86 BIOS | Hacker News Reader