[Nix-dev] Raspberry-Pi NixOS

[Lluís Batlle i Rossell]

Go ahead.

I use nixos in the pi2 since pre-15.09. Now with 16.03.

On Wed, Jun 15, 2016 at 02:26:51PM +0200, Bas van Dijk wrote:
> I'm also really interested in getting NixOS to run on Raspberry-Pi 2/3. At
> LumiGuide we have many Raspberry Pi's deployed in the field running Debian.
> It would be great to replace that with NixOS like all our other machines.
> Op 15 jun. 2016 2:01 p.m. schreef "Matthias Beyer" <mail at beyermatthias.de>:
> 
> > Hi viric,
> > Hi dezgeg,
> >
> > I just found the wiki page on nixos on the raspberry[0], where you two are
> > referenced as creators.
> >
> > May I ask whether this is still present? I plan on buying a Raspberry Pi
> > model
> > B, 3rd generation and build a small handheld linux terminal (see [1]) with
> > it,
> > but I really want to run nixos on it and be able to deploy software for it
> > from
> > my other devices (mainly because of recompilation times - or are there a
> > nixpkgs
> > substitutes for ARM available?).
> >
> > So my question is basically: Is this article still relevant to the current
> > situation, as the article is almost one year old?
> >
> > Of course I will document my experience and share it with the NixOS
> > community
> > after I created the device.
> >
> > [0]: https://nixos.org/wiki/Raspberry_Pi_2
> > [1]:
> > http://makezine.com/projects/build-raspberry-pi-powered-linux-laptop-that-fits-your-pocket/
> >
> > --
> > Mit freundlichen Grüßen,
> > Kind regards,
> > Matthias Beyer
> >
> > Proudly sent with mutt.
> > Happily signed with gnupg.
> >
> > _______________________________________________
> > nix-dev mailing list
> > nix-dev at lists.science.uu.nl
> > http://lists.science.uu.nl/mailman/listinfo/nix-dev
> >
> >

-- 
(Escriu-me xifrat si saps PGP / Write ciphered if you know PGP)
PGP key D4831A8A - https://emailselfdefense.fsf.org/