nixpkgs

Author	SHA1	Message	Date
Lluís Batlle i Rossell	d8a2bb86c0	Raspberry Pi 2 changes to make it boot. It boots, but some things still don't work: 1) Installation of DTBs 2) Boot of initrd Booting still needs a proper config.txt in /boot, which could probably be managed by NixOS.	2015-05-09 17:05:24 +00:00
Mateusz Kowalczyk	007f80c1d0	Turn more licenses into lib.licenses style Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739	2014-11-06 00:48:16 +00:00
Rickard Nilsson	38ba397afd	raspberrypi-firmware: Update to latest version as of 20130826 (rev 3ab17ac25e)	2013-08-27 12:30:47 +02:00
Lluís Batlle i Rossell	a87fba9619	Adding the firmware files for raspberrypi	2013-01-27 17:49:02 +00:00