Difference between revisions of "NixOS on ARM/Orange Pi PC"

From NixOS Wiki
Jump to: navigation, search
m (Updates u-boot links with @dezgeg's)
m (rollback unauthorized mass edits)
Tag: Rollback
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{ARM/breadcrumb}}
+
This page has been moved to the official NixOS Wiki:
<div class="infobox">
 
{|class="table"
 
!colspan="2" class="title"|Orange Pi PC
 
|-
 
!Manufacturer
 
|Xunlong / Orange Pi
 
|-
 
!Architecture
 
|ARMv7
 
|-
 
!Bootloader
 
|Upstream u-boot
 
|-
 
!Maintainer
 
|[[User:samueldr|samueldr]]
 
|}
 
</div>
 
<!-- TODO : write intro paragraph -->
 
== Status ==
 
  
'''@dezgeg''''s porting efforts to ARMv7 works on the Orange Pi PC, using the proper upstream u-boot.
+
    ⇒ '''[https://wiki.nixos.org/wiki/NixOS_on_ARM/Orange_Pi_PC NixOS on ARM/Orange Pi PC]'''
  
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:
+
''— samueldr, Lead of NixOS on ARM.''
 
 
* [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 ==
 
 
 
First follow the [[NixOS_on_ARM#Installation|generic installation steps]] to get the installer image on an SD card.
 
 
 
U-Boot needs to be copied to specific sectors on the microSD card with <code>dd</code>. Download u-boot for the board (<code>uboot-orangepi_pc_defconfig-2017.11.nixpkgs.*.u-boot-sunxi-with-spl.bin</code>), and copy it to the correct location with (again, replace <code>/dev/sdX</code> with the correct path to the SD card device):
 
 
 
<syntaxhighlight lang="bash">sudo dd if=uboot-orangepi_pc_defconfig-2017.11.nixpkgs.*.u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8</syntaxhighlight>
 
 
 
Then, install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]].
 
 
 
== Serial console==
 
 
 
Your configuration.nix will need to add <code>console=ttyS0,115200n8</code> to the <code>boot.kernelParams</code> configuration to use the serial console.
 
 
 
{{file|/etc/nixos/configuration.nix|nix|<nowiki>
 
{ config, pkgs, lib, ... }:
 
{
 
  boot.kernelParams = [
 
    "console=ttyS0,115200n8"
 
  ];
 
}
 
</nowiki>}}
 
== Compatibility notes ==
 
 
 
* Using the upstream kernel at 4.13, neither HDMI nor Ethernet will work.
 
** [https://github.com/NixOS/nixpkgs/issues/29569#issuecomment-347023896 #29569 has a comment with a compatible linux kernel overlay derivation.]
 
** Support for ethernet may land in 4.15.
 
** HDMI support isn't in the maintainer's requirements, it may start working in the future.
 
 
 
== Resources ==
 
 
 
* [http://www.orangepi.org/orangepipc/ Official product page]
 
* [https://linux-sunxi.org/Xunlong_Orange_Pi_PC linux-sunxi wiki page]
 

Latest revision as of 10:56, 6 April 2024

This page has been moved to the official NixOS Wiki:

    ⇒ NixOS on ARM/Orange Pi PC

— samueldr, Lead of NixOS on ARM.