x64-bootloader-example. example code for a very minimalistic x64 BIOS bootloader providing a memory map, page table, long mode and an example c program which gets executed by it