|
|
| (One intermediate revision by the same user 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://wiki.nixos.org/w/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 == |
|
| |
|