Minimal x86 firmware for booting Linux kernels - View it on GitHub