Talk:NixOS on ARM: Difference between revisions
imported>Samueldr Add note about QEMU instructions not working |
m →Native support for raspi in nixpkgs: outdated |
||
(17 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
== | == NixOS "support" for board-specific kernels or bootloaders == | ||
I re-worked the introduction paragraph of the article, but I have added a partly unfounded remark about NixOS being able to work with specific kernels or bootloaders. The remark is built on the fact that there is [https://github.com/NixOS/nixpkgs/blob/0676d691724b2ceebde17377fddf9bc7fcf8f5b0/nixos/modules/installer/cd-dvd/sd-image-raspberrypi.nix a raspberry pi specific image using a specific kernel], that [https://github.com/NixOS/nixpkgs/issues/29569#issuecomment-347023896 it is possible to use upstream forks with fixes for the kernel]. There is no documentation yet on how to use a vendor fork (e.g. allwinner non-upstream fork) for the kernel or u-boot, and no documentation on how to boot NixOS when extlinux support isn't present in the u-boot build. | |||
--[[User:Samueldr|samueldr]] ([[User talk:Samueldr|talk]]) 00:12, 21 January 2018 (UTC) | |||
< | <hr /> | ||
== Latest u-boot builds form Hydra == | |||
* https://hydra.nixos.org/jobset/nixpkgs/trunk/jobs-tab?filter=uboot | |||
This isn't perfect, but fresh from nixpkgs-unstable. | |||
--[[User:Samueldr|Samueldr]] ([[User talk: | --[[User:Samueldr|samueldr]] ([[User talk:Samueldr|talk]]) 01:29, 3 December 2018 (UTC) | ||
<hr /> | |||
== Distributed Builds == | |||
I've added a short section about using an aarch64 remote builder to speed up builds for armv6l and armv7l (With the advent of the raspberry pi 4, this is probably a relatively convenient way to run nixos on the raspberry pi 1 / raspberry pi zero(w) without suffering very long build times). It might make sense to merge it with the section on cross-compiling with qemu, which also mentions distributed builds briefly, but I wasn't sure how best to do it. | |||
[[User:Thra11|Thra11]] ([[User talk:Thra11|talk]]) 20:33, 11 July 2019 (UTC) | |||
== Option boot.loader.grub.devices == | |||
I am currently trying to setup a Raspberry Pi and neither on the ARM installation page, the default configuration, nor this page here, does the required option "boot.loader.grub.devices" come up. | |||
With my configuration, the system requires me to set this. | |||
This is my configuration: https://gist.github.com/ShalokShalom/f5b190f531d354614a7319a7f3d22fc1 |