nixpkgs

Author	SHA1	Message	Date
Ricardo M. Correia	123cbd40c2	raspberryPi boot loader: don't remove xx-initrd files The Raspberry Pi boot loader was deleting all xx-initrd text files (which simply contain the path to the actual initrd files) just after having created them. The code was actually trying to delete real, obsolete initrd files, which are named <hash>-initrd-initrd (after path cleaning), but the glob was catching the other files as well.	2017-02-12 02:48:57 +02:00
Ricardo M. Correia	c19b17d14f	raspberryPi boot loader: fix booting Raspberry Pi 3 The Raspberry Pi 3 seems to need the .DTB file when booting the kernel, so we must copy it to /boot when installing a new kernel.	2017-02-12 02:48:57 +02:00
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