[Nix-dev] Raspberry-Pi NixOS

[Anders Lundstedt]

Has anyone successfully installed NixOS on a Raspberry Pi 3?


On Fri, Jun 17, 2016 at 9:35 AM, Tuomas Tynkkynen
<tuomas.tynkkynen at iki.fi> wrote:
> That page is quite old, https://nixos.org/wiki/NixOS_on_ARM has some
> newer stuff.
> Though the ARMv7 image listed there doesn't have the necessary RPi bootloader
> things added - that's not hard to add but I don't have a board to test with.

How do I add the "bootloader things"? I do not know much about these
things but I have a Raspberry Pi 3 and with some further instructions
and/or pointers I think I could give it a try.