|
|
(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]
| |