Tomas Hlavaty <[email protected]> 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 <[email protected]> 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 [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
