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 <t...@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 <tuo...@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@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/ _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
