Talk:NixOS on ARM: Difference between revisions
imported>Samueldr m Adds note for qemu-system support comeback. |
imported>Samueldr Adds discussion point about non-upstream bootloader and kernel |
||
| Line 27: | Line 27: | ||
--[[User:Samueldr|— samueldr]] ([[User talk:Samueldr|talk]]) 01:14, 29 November 2017 (UTC) | --[[User:Samueldr|— samueldr]] ([[User talk:Samueldr|talk]]) 01:14, 29 November 2017 (UTC) | ||
<hr /> | |||
== Native support for raspi in nixpkgs == | == Native support for raspi in nixpkgs == | ||
| Line 38: | Line 40: | ||
Added now. | Added now. | ||
--[[User:Dezgeg|Dezgeg]] ([[User talk:Dezgeg|talk]]) 18:07, 16 September 2017 (UTC) | --[[User:Dezgeg|Dezgeg]] ([[User talk:Dezgeg|talk]]) 18:07, 16 September 2017 (UTC) | ||
<hr /> | |||
== 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) | |||