NixOS on ARM/Orange Pi PC: Difference between revisions

imported>Samueldr
m Updates u-boot links with @dezgeg's
imported>Samueldr
Add note about content being out-of-date
Line 19: Line 19:
<!-- TODO : write intro paragraph -->
<!-- TODO : write intro paragraph -->
== Status ==
== Status ==
{{outdated|Section refers to old user-provided images. Should be reviewed with cross-compilation, or native compilation through userspace emulation.}}


'''@dezgeg''''s porting efforts to ARMv7 works on the Orange Pi PC, using the proper upstream u-boot.
'''@dezgeg''''s porting efforts to ARMv7 works on the Orange Pi PC, using the proper upstream u-boot.


U-boot support [https://github.com/NixOS/nixpkgs/pull/32554 has been merged 2017-12-11]. The bootloader with SPL can be downloaded from those locations:
U-boot support [https://github.com/NixOS/nixpkgs/pull/32554 has been merged 2017-12-11].
 
* [https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/ <code>uboot-orangepi_pc_defconfig-****.**_u-boot-sunxi-with-spl.bin</code> automatically built by Dezgeg (preferred).]
* [https://stuff.samueldr.com/nixos/uboot-orangepi_pc_defconfig-2017.11.nixpkgs.20171211.1545c3163bc6cf3cd0e81fee73dbf9baf29e5b0b.u-boot-sunxi-with-spl.bin Built originally when the pull request was made.]


== Board-specific installation notes ==
== Board-specific installation notes ==