Raspberry Pi: Difference between revisions

imported>Fadenb
Created page with "== Status == The code in master as of June 2015 should be able to prepare a bootable NixOS for Raspberry PI 2. There are still some drawbacks: * NixOS does not provide a /boo..."
 
imported>Makefu
No edit summary
Line 1: Line 1:
Also consult the page [[NixOS_on_ARM]]
== Status ==
== Status ==
The code in master as of June 2015 should be able to prepare a bootable NixOS for Raspberry PI 2.
The code in master as of June 2015 should be able to prepare a bootable NixOS for Raspberry PI 2.


There are still some drawbacks:
There are still some drawbacks:
Line 9: Line 11:
== Download ==
== Download ==
If you want to test, you can flash this 4GB SD image (DOS partition table + fat32 + ext4 rootfs): [magnet:?xt=urn:btih:0def3f6acb3bceddb22cb24098f58e40e2853ec2&dn=rpi2-nixos-4b09501f2-img.xz&tr=udp%3A%2F%2Fopen.demonii.com%3A1337&tr=udp%3A%2F%2Ftracker.openbittorrent.com%3A80magnet link (viric)]
If you want to test, you can flash this 4GB SD image (DOS partition table + fat32 + ext4 rootfs): [magnet:?xt=urn:btih:0def3f6acb3bceddb22cb24098f58e40e2853ec2&dn=rpi2-nixos-4b09501f2-img.xz&tr=udp%3A%2F%2Fopen.demonii.com%3A1337&tr=udp%3A%2F%2Ftracker.openbittorrent.com%3A80magnet link (viric)]
{{notice|text=nixpkgs contain code to [https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix build the sd-image for aarch64] but this is not currently built by hydra. Cross-building is unavailable for this, you will need another AARCH64 machine}}


Then you should be able to nixos-rebuild any configuration.nix changes.
Then you should be able to nixos-rebuild any configuration.nix changes.