A GNU-EFI UEFI application that boots the XNU/Darwin kernel on x86-64 - View it on GitHub