Tooling to reproducibly build a Linux kernel for Nitro Enclaves - View it on GitHub