rust-kernel-x86_64-static-link-code-model-kernel. Minimal example that shows you how you build a kernel with Rust that is statically linked, i.e., not relocatable, and linked at the higher half of the address space, i.e., following the kernel code model of the System V ABI.