NixOS on ARM/Orange Pi PC: Difference between revisions

From NixOS Wiki
imported>Samueldr
m Adds breadcrumb
imported>Samueldr
m Updates u-boot links with @dezgeg's
Line 22: Line 22:
'''@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]. The bootloader with SPL can be downloaded from those locations:
 
* [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 ==

Revision as of 05:49, 6 January 2018

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

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. The bootloader with SPL can be downloaded from those locations:

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