Haha I've actually been trying to port it to a bootable x86 binary. Unsuccessfully so far :/