This is a UEFI based bootloader that does some minimal hardware initialization, loads a position-independent, x86-64 ELF kernel and then jumps to the kernel.