/infra/corenix/pkgs/coreboot-payload-tint/
../
default.nix