nixcfg/systems/x86_64-linux/sgx/acme.nix