2 Commits

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
Eelco Dolstra	5c1f8cbc70	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00