[Nix-dev] Raspberry-Pi NixOS

[Tomas Hlavaty]

Tomas Hlavaty <tom at logand.com> 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 Tynkkynen has done that already and looking at the git log, he's
progressed quite far.

commit 36f4a8a485732da98e1fcf40945ecda305677579
Author: Tuomas Tynkkynen <tuomas at tuxera.com>
Date:   Sun Jun 19 22:49:36 2016 +0300

    sd-image-armv7l-multiplatform.nix: Preliminary Raspberry Pi 2/3 support
    
    - RPi3 successfully gets to U-Boot, but then fails to boot the kernel
      due to a missing device tree file. This should get added to the 4.8
      kernel release once this patch is merged: https://lkml.org/lkml/2016/6/1/841
    - RPi2 is not tested, but it should successfully boot the NixOS image.

Could not the device tree be taken from
raspberrypifw/boot/bcm2710-rpi-3-b.dtb?

I will build nixpkgs HEAD, lets see.

Tomas