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