/pkgs/misc/arm-trusted-firmware/
../
default.nix