[Nix-dev] Raspberry-Pi NixOS

[Lluís Batlle i Rossell]

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 <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
> _______________________________________________
> 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/