A minimal example of an x86_64 higher half kernel loaded at the -2GB mark - View it on GitHub