Talk:NixOS on ARM

From NixOS Wiki
Revision as of 18:07, 16 September 2017 by imported>Dezgeg

Latest comment: 16 September 2017 by Dezgeg in topic Native support for raspi in nixpkgs

QEMU support

As of June 2016, the versatile build of u-boot isn't built anymore.

Furthermore, the pre-built image is not present anymore on the mirror.

U-Boot: Drop Versatile build

I had broken this at some point and the patch conflicts quite often. Hopefully soon the Raspberry Pi 2 emulation in QEMU can be used instead.

https://github.com/NixOS/nixpkgs/commit/18572e23590f7407be60926e6d98d1a3580571c1

Relevant edit: https://nixos.wiki/index.php?title=NixOS_on_ARM&diff=647&oldid=505

--Samueldr (talk) 20:01, 3 September 2017 (UTC)Reply

Hopefully, there will soon (U-Boot 2018.01 release, I hope) an easy way to do this: https://lists.denx.de/pipermail/u-boot/2017-August/304302.html

--Dezgeg (talk) 08:25, 11 September 2017 (UTC)Reply

Native support for raspi in nixpkgs

Since a couple of months hydra also builds nixpkgs for arm64. Additionally some configuration is already in nixpkgs for raspi2 and raspi1, however no binary cache is available.

Raspi3 should be natively supported but right now there is no guide on how to build an image and install it. There is https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix but the image really is nowhere to be found. --Makefu (talk) 08:51, 11 September 2017 (UTC)Reply

Added now. --Dezgeg (talk) 18:07, 16 September 2017 (UTC)Reply