|
|
| (6 intermediate revisions by 3 users not shown) |
| Line 1: |
Line 1: |
| == 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.
| |
|
| |
| <blockquote>
| |
| 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
| |
| </blockquote>
| |
|
| |
| Relevant edit: https://nixos.wiki/index.php?title=NixOS_on_ARM&diff=647&oldid=505
| |
|
| |
| --[[User:Samueldr|Samueldr]] ([[User talk:Samueldr|talk]]) 20:01, 3 September 2017 (UTC)
| |
|
| |
| 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
| |
|
| |
| --[[User:Dezgeg|Dezgeg]] ([[User talk:Dezgeg|talk]]) 08:25, 11 September 2017 (UTC)
| |
|
| |
| It's coming back soon, I'll let [[User:Dezgeg|Dezgeg]] do the write-up when ready.
| |
|
| |
| Don't want to wait? [https://botbot.me/freenode/nixos/2017-11-29/?msg=94029070&page=1 Here's the IRC log on #nixos with instructions.]
| |
|
| |
| --[[User:Samueldr|— samueldr]] ([[User talk:Samueldr|talk]]) 01:14, 29 November 2017 (UTC)
| |
|
| |
| This has changed by now - u-boot supports QEMU's 'virt' machine (with highmem=off, though). Added to the wiki at [[NixOS_on_ARM/QEMU]] .
| |
|
| |
| --[[User:flokli|— flokli]] ([[User talk:flokli|talk]]) 23:23, 10 April 2018 (UTC)
| |
|
| |
| <hr />
| |
|
| |
| == 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.
| |
| --[[User:Makefu|Makefu]] ([[User talk:Makefu|talk]]) 08:51, 11 September 2017 (UTC)
| |
|
| |
| Added now.
| |
| --[[User:Dezgeg|Dezgeg]] ([[User talk:Dezgeg|talk]]) 18:07, 16 September 2017 (UTC)
| |
|
| |
| <hr />
| |
|
| |
| == NixOS "support" for board-specific kernels or bootloaders == | | == NixOS "support" for board-specific kernels or bootloaders == |
|
| |
|
| Line 64: |
Line 16: |
|
| |
|
| <hr /> | | <hr /> |
|
| |
| == Manual cross-compilation ==
| |
|
| |
| For building <code>veyron_mickey_defconfig</code> this gave me the required dependencies for u-boot 2018.09.
| |
| <pre>
| |
| nix-shell -E 'with import <nixpkgs> {}; stdenv.mkDerivation { name = "arm-shell"; buildInputs = [git gnumake gcc gcc-arm-embedded dtc bison flex python3 swig vboot_reference]; }'
| |
| </pre>
| |
| --[[User:Samueldr|samueldr]] ([[User talk:Samueldr|talk]]) 02:08, 19 December 2018 (UTC)
| |
|
| |
|
| == Distributed Builds == | | == Distributed Builds == |
| Line 79: |
Line 23: |
| [[User:Thra11|Thra11]] ([[User talk:Thra11|talk]]) 20:33, 11 July 2019 (UTC) | | [[User:Thra11|Thra11]] ([[User talk:Thra11|talk]]) 20:33, 11 July 2019 (UTC) |
|
| |
|
| == Mobile NixOS == | | == 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. |
|
| |
|
| [https://mobile.nixos.org/ Mobile NixOS] should probable be mentioned here (or in a separate wiki page). It seems to support a number of ARM devices that are not listed here.
| | This is my configuration: https://gist.github.com/ShalokShalom/f5b190f531d354614a7319a7f3d22fc1 |