/pkgs/os-specific/linux/sgx/psw/
../
default.nix