36f4a8a485
- 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. |
||
---|---|---|
.. | ||
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-raspberrypi.nix | ||
sd-image.nix | ||
system-tarball-fuloong2f.nix | ||
system-tarball-pc-readme.txt | ||
system-tarball-pc.nix | ||
system-tarball-sheevaplug.nix | ||
system-tarball.nix |