NixOS on ARM/ODROID-HC4: Difference between revisions

From NixOS Wiki
imported>Erdnaxe
Write Board-specific installation notes
imported>Erdnaxe
m remove space
Line 32: Line 32:
git clone https://github.com/arapov/nixpkgs --depth 1 -b hardkernel && cd nixpkgs
git clone https://github.com/arapov/nixpkgs --depth 1 -b hardkernel && cd nixpkgs
nix-build -I "nixpkgs=$PWD" -A pkgsCross.aarch64-multiplatform.ubootOdroidC4
nix-build -I "nixpkgs=$PWD" -A pkgsCross.aarch64-multiplatform.ubootOdroidC4
sudo dd if=result/u-boot.bin of=PATH/TO/ nixos-sd-image-21.05.XXXX.XXXXXXXX-aarch64-linux.img  conv=fsync,notrunc bs=512 seek=1
sudo dd if=result/u-boot.bin of=PATH/TO/nixos-sd-image-21.05.XXXX.XXXXXXXX-aarch64-linux.img  conv=fsync,notrunc bs=512 seek=1
   </syntaxhighlight>
   </syntaxhighlight>
# Flash the modified SD image file (.img) to a microSD card. '''This will erase all the data on the card!'''
# Flash the modified SD image file (.img) to a microSD card. '''This will erase all the data on the card!'''

Revision as of 21:01, 10 August 2021

Hardkernel ODROID-HC4
Manufacturer Hardkernel
Architecture ARMv7
Bootloader U-Boot
Boot options SD (SATA?)

Status

Mostly working, but some manual steps needed to get it running.

U-boot support in NixPkgs is currently in review: NixPkgs Pull Request #101454

Board-specific installation notes

  1. First follow the generic installation steps to get the 21.05 (Latest kernel) installer image.
  2. Uncompress the .zst file. One may use the unzstd command (equivalent to zstd -d) on supported machines. The zstd commands can be accessed from the zstd package.
  3. Patch this image (.img file) with U-Boot for Odroid HC4.
    # Clone content of pull request https://github.com/NixOS/nixpkgs/pull/101454 and build
    git clone https://github.com/arapov/nixpkgs --depth 1 -b hardkernel && cd nixpkgs
    nix-build -I "nixpkgs=$PWD" -A pkgsCross.aarch64-multiplatform.ubootOdroidC4
    sudo dd if=result/u-boot.bin of=PATH/TO/nixos-sd-image-21.05.XXXX.XXXXXXXX-aarch64-linux.img  conv=fsync,notrunc bs=512 seek=1
    
  4. Flash the modified SD image file (.img) to a microSD card. This will erase all the data on the card!

Known Problems

Resources