NixOS on ARM/Orange Pi PC: Difference between revisions

From NixOS Wiki
imported>Samueldr
m Adds breadcrumb
m fix orangepi homepage
 
(3 intermediate revisions by 2 users not shown)
Line 14: Line 14:
|-
|-
!Maintainer
!Maintainer
|[[User:samueldr|samueldr]]
|
|}
|}
</div>
</div>
<!-- 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 [https://stuff.samueldr.com/nixos/uboot-orangepi_pc_defconfig-2017.11.nixpkgs.20171211.1545c3163bc6cf3cd0e81fee73dbf9baf29e5b0b.u-boot-sunxi-with-spl.bin <code>2017.11</code> release is made available pre-built] by the maintainer.
U-boot support [https://github.com/NixOS/nixpkgs/pull/32554 has been merged 2017-12-11].


== Board-specific installation notes ==
== Board-specific installation notes ==
Line 55: Line 57:
== Resources ==
== Resources ==


* [http://www.orangepi.org/orangepipc/ Official product page]
* [http://www.orangepi.org Official product page]
* [https://linux-sunxi.org/Xunlong_Orange_Pi_PC linux-sunxi wiki page]
* [https://linux-sunxi.org/Xunlong_Orange_Pi_PC linux-sunxi wiki page]

Latest revision as of 09:40, 14 September 2024

Orange Pi PC
Manufacturer Xunlong / Orange Pi
Architecture ARMv7
Bootloader Upstream u-boot
Maintainer

Status

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

U-boot support has been merged 2017-12-11.

Board-specific installation notes

First follow the 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 dd. Download u-boot for the board (uboot-orangepi_pc_defconfig-2017.11.nixpkgs.*.u-boot-sunxi-with-spl.bin), and copy it to the correct location with (again, replace /dev/sdX with the correct path to the SD card device):

sudo dd if=uboot-orangepi_pc_defconfig-2017.11.nixpkgs.*.u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8

Then, install using the installation and configuration steps.

Serial console

Your configuration.nix will need to add console=ttyS0,115200n8 to the boot.kernelParams configuration to use the serial console.

/etc/nixos/configuration.nix
{ config, pkgs, lib, ... }:
{
  boot.kernelParams = [
    "console=ttyS0,115200n8"
  ];
}

Compatibility notes

Resources