Re: [Nix-dev] Raspberry-Pi NixOS

Hi, There are both binaries+images and documentation at https://nixos.org/wiki/NixOS_on_ARM. Yeah, still pending the migration to the manual... 2016-07-21 15:47 GMT+03:00 Rok Garbas : > sry i only have questions in this email :) > > > - how would we speed up building? so that

Re: [Nix-dev] Raspberry-Pi NixOS

2016-07-20 0:53 GMT+03:00 Tomas Hlavaty : > Lluís Batlle i Rossell writes: >> The device tree blob should be built by the kernel, like with pi and pi2, >> isn't it? > > This is the kernel which works for me and is taken from > raspberry-firmware/boot: > > Linux

Re: [Nix-dev] Raspberry-Pi NixOS

sry i only have questions in this email :) - how would we speed up building? so that other can get binaries at least for the "base" of the nixos. - would we just hook up rpi's into hydra? can we hook this to existing hydra.nixos.org or we would have to come with our own hydra. - can we also

Re: [Nix-dev] Raspberry-Pi NixOS

On Tue, Jul 19, 2016 at 11:53:59PM +0200, Tomas Hlavaty wrote: > Lluís Batlle i Rossell writes: > > The device tree blob should be built by the kernel, like with pi and pi2, > > isn't it? > > This is the kernel which works for me and is taken from > raspberry-firmware/boot: >

Re: [Nix-dev] Raspberry-Pi NixOS

Lluís Batlle i Rossell writes: > The device tree blob should be built by the kernel, like with pi and pi2, > isn't it? This is the kernel which works for me and is taken from raspberry-firmware/boot: Linux version 4.4.13-v7+ (dc4@dc4-XPS13-9333) (gcc version 4.9.3

Re: [Nix-dev] Raspberry-Pi NixOS

The device tree blob should be built by the kernel, like with pi and pi2, isn't it? Regards, Lluís. On Mon, Jul 18, 2016 at 10:40:09PM +0200, Tomas Hlavaty wrote: > > Tomas Hlavaty writes: > > - pkgs/os-specific/linux/firmware/raspberrypi/default.nix needs newer > > rev as

Re: [Nix-dev] Raspberry-Pi NixOS

Tomas Hlavaty writes: > - pkgs/os-specific/linux/firmware/raspberrypi/default.nix needs newer > rev as the current one is pre-rpi3. > > - pkgs/os-specific/linux/kernel/linux-rpi.nix needs newer kernel, > probably for the same reason as above. I tried 4.4.13-v7. Tuomas

Re: [Nix-dev] Raspberry-Pi NixOS

Hi Anders, Anders Lundstedt writes: > Has anyone successfully installed NixOS on a Raspberry Pi 3? I am running nixos-version 16.09.git.a5559f5 (Flounder). I have rpi2 running nixos which I installed as described in the wiki and then managed to upgrade in a few steps

Re: [Nix-dev] Raspberry-Pi NixOS

Has anyone successfully installed NixOS on a Raspberry Pi 3? On Fri, Jun 17, 2016 at 9:35 AM, Tuomas Tynkkynen 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

Re: [Nix-dev] Raspberry-Pi NixOS

2016-06-15 15:01 GMT+03:00 Matthias Beyer : > Hi viric, > Hi dezgeg, > > I just found the wiki page on nixos on the raspberry[0], where you two are > referenced as creators. That page is quite old, https://nixos.org/wiki/NixOS_on_ARM has some newer stuff. Though the ARMv7

Re: [Nix-dev] Raspberry-Pi NixOS

I tried a few months ago and wasn't able to get it working. It runs, but I wasn't able to upgrade Nix. May have been a temporary problem fixed in recent versions though. Jeff On Wed, 15 Jun 2016 15:19:19 +0200 Matthias Beyer wrote: > On 15-06-2016 14:52:22, Lluís Batlle i

Re: [Nix-dev] Raspberry-Pi NixOS

On 15-06-2016 14:52:22, Lluís Batlle i Rossell wrote: > I use nixos in the pi2 since pre-15.09. Now with 16.03. That sounds awesome, so I guess it is not that hard to set up. Are there substitutes available or do you use the raspberry itself or some other machine to build packages for ARM? > >

Re: [Nix-dev] Raspberry-Pi NixOS

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

Re: [Nix-dev] Raspberry-Pi NixOS

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"

Re: [Nix-dev] Raspberry-Pi NixOS

I don't know about the article... but I still use a pi2 as my main home server, with nixos, with 16.03. On Wed, Jun 15, 2016 at 02:01:06PM +0200, Matthias Beyer wrote: > Hi viric, > Hi dezgeg, > > I just found the wiki page on nixos on the raspberry[0], where you two are > referenced as

[Nix-dev] Raspberry-Pi NixOS

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