nixpkgs/pkgs/misc/uboot
Tuomas Tynkkynen b29ee6c8ff U-Boot: Add 64-bit Raspberry Pi 3 build
And rename the old ubootRaspberryPi3 to ubootRaspberryPi3_32bit.
2017-01-25 02:14:47 +02:00
..
default.nix U-Boot: Add 64-bit Raspberry Pi 3 build 2017-01-25 02:14:47 +02:00
gas220.patch
guruplug-file-systems.patch
guruplug-usb-msd-multi-lun.patch
guruplug.nix U-Boot: Add platforms to legacy U-Boots 2016-12-05 02:17:41 +02:00
nanonote.nix U-Boot: Add platforms to legacy U-Boots 2016-12-05 02:17:41 +02:00
sheevaplug.nix U-Boot: Add platforms to legacy U-Boots 2016-12-05 02:17:41 +02:00