/pkgs/coreboot/
../
default.nix
files.nix