Tuomas Tynkkynen 931aa5f9e2 U-Boot: 2017.03 -> 2017.11 ...

Also move patches from sd-image-aarch64.nix, they might be useful for
the older raspberries as well.

2017-11-18 13:57:17 +02: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

nixos/iso-image.nix: add top-level /version.txt file

2017-09-28 00:54:28 +02:00

sd-image-aarch64.nix

U-Boot: 2017.03 -> 2017.11

2017-11-18 13:57:17 +02:00

sd-image-armv7l-multiplatform.nix

sd-image-*: Include profiles/base.nix

2017-10-25 22:56:20 +03:00

sd-image-raspberrypi.nix

sd-image-*: Include profiles/base.nix

2017-10-25 22:56:20 +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

…