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

…

installation-cd-base.nix

…

installation-cd-graphical-gnome.nix

…

installation-cd-graphical-kde-new-kernel.nix

…

installation-cd-graphical-kde.nix

…

installation-cd-minimal-new-kernel.nix

…

installation-cd-minimal.nix

…

iso-image.nix

…

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

…

system-tarball-fuloong2f.nix

…

system-tarball-pc-readme.txt

…

system-tarball-pc.nix

…

system-tarball-sheevaplug.nix

…

system-tarball.nix

…