4 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
Joachim Fasting	d375550ead	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
Eelco Dolstra	29027fd1e1	Rewrite ‘with pkgs.lib’ -> ‘with lib’ ... Using pkgs.lib on the spine of module evaluation is problematic because the pkgs argument depends on the result of module evaluation. To prevent an infinite recursion, pkgs and some of the modules are evaluated twice, which is inefficient. Using ‘with lib’ prevents this problem.	2014-04-14 16:26:48 +02:00
Eelco Dolstra	5c1f8cbc70	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00