nixpkgs/pkgs/os-specific/linux/sgx
..
psw
samples
sdk
ssl