Hi, Is anyone working on getting NixOS running on the Raspberry Pi (ARM-based, http://www.raspberrypi.org/)? If so, I'm happy to help out. If not, I will try to start working on it soon. Hopefully, the fact that I have NixOS running on my SheevaPlug (also ARM) will make it easier to get it to run on my Pi. / Rickard