nixpkgs/pkgs/misc/uboot
..
default.nix
gas220.patch
guruplug-file-systems.patch
guruplug-usb-msd-multi-lun.patch
guruplug.nix
nanonote.nix
sheevaplug.nix
vexpress-Use-config_distro_bootcmd.patch