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
..
generations-dir	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
grub	Fix grub for "nodev" targets.	2015-04-18 19:22:25 +02:00
gummiboot	nixos: gummiboot: change default to 1000 if boot.loader.timeout is null	2015-01-30 10:36:21 +01:00
init-script	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
raspberrypi	Raspberry Pi 2 changes to make it boot.	2015-05-09 17:05:24 +00:00
efi.nix
loader.nix	nixos: loader: added generic config.boot.loader.timeout option	2015-01-30 09:53:44 +01:00