https://www.kraxel.org/repos/images/
http://www.rodsbooks.com/efi-programming/hello.html