BootOS: Monolithic operating system in 512 bytes of x86 machine code