Tuomas Tynkkynen 36f4a8a485 sd-image-armv7l-multiplatform.nix: Preliminary Raspberry Pi 2/3 support ... - RPi3 successfully gets to U-Boot, but then fails to boot the kernel due to a missing device tree file. This should get added to the 4.8 kernel release once this patch is merged: https://lkml.org/lkml/2016/6/1/841 - RPi2 is not tested, but it should successfully boot the NixOS image.		2016-07-04 02:07:13 +03:00
..
channel.nix	treewide: Use correct output in ${config.nix.package}/bin	2016-04-25 16:44:37 +02:00
installation-cd-base.nix	nixos: introduce system.nixosLabel option and use it where appropriate	2016-01-08 22:26:15 +00:00
installation-cd-graphical-gnome.nix	installer: add graphical GNOME iso	2016-02-29 15:51:38 +01:00
installation-cd-graphical-kde-new-kernel.nix	installer: add graphical GNOME iso	2016-02-29 15:51:38 +01:00
installation-cd-graphical-kde.nix	installer: add graphical GNOME iso	2016-02-29 15:51:38 +01:00
installation-cd-minimal-new-kernel.nix	nixos-iso: Re-enable new kernel iso images (close #2839)	2014-06-17 21:23:52 +02:00
installation-cd-minimal.nix	Move stuff to modules/profiles/installation-device.nix	2015-06-10 15:28:55 +02:00
iso-image.nix	iso-image.nix: Fix path to EFI blob after systemd-boot switch	2016-06-01 12:14:00 +03:00
sd-image-armv7l-multiplatform.nix	sd-image-armv7l-multiplatform.nix: Preliminary Raspberry Pi 2/3 support	2016-07-04 02:07:13 +03:00
sd-image-raspberrypi.nix	sd-image-*: Set verbose kernel loglevel	2016-07-03 20:48:07 +03:00
sd-image.nix	treewide: Use correct output in ${config.nix.package}/bin	2016-04-25 16:44:37 +02:00
system-tarball-fuloong2f.nix	nixos-checkout: Remove	2016-04-20 20:57:02 +02:00
system-tarball-pc-readme.txt	http://nixos.org -> https://nixos.org	2014-12-14 11:26:45 +01:00
system-tarball-pc.nix	jobs -> systemd.services	2016-01-17 22:05:13 +00:00
system-tarball-sheevaplug.nix	nixos-checkout: Remove	2016-04-20 20:57:02 +02:00
system-tarball.nix	treewide: Use correct output in ${config.nix.package}/bin	2016-04-25 16:44:37 +02:00