nixpkgs/pkgs/os-specific
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
..
darwin command-line-tools: Update broken URL and packages 2015-04-18 22:55:43 +02:00
gnu
linux Raspberry Pi 2 changes to make it boot. 2015-05-09 17:05:24 +00:00
windows libgcrypt: Massive cleanup and make 1.6 the default 2015-05-01 17:41:42 -07:00