Tuomas Tynkkynen 428b51dd2f U-Boot: 2016.01 -> 2016.05 ... Amongst many minor things, the USB keyboard becomes operative on the Raspberry Pi. Yay!		2016-07-04 01:52:19 +03:00
..
default.nix	U-Boot: 2016.01 -> 2016.05	2016-07-04 01:52:19 +03:00
gas220.patch
guruplug-file-systems.patch
guruplug-usb-msd-multi-lun.patch
guruplug.nix
nanonote.nix	Fix lots of fetchgit hashes (fallout from #15469)	2016-06-03 17:17:08 +03:00
sheevaplug.nix
vexpress-Use-config_distro_bootcmd.patch	U-Boot: 2015.07 -> 2015.10	2015-10-26 21:48:51 +02:00