nixpkgs/pkgs/os-specific/linux/raspberrypi-eeprom
..
default.nix