NixOS on ARM/ODROID-HC4

← Back to NixOS on ARM

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!

Resources

• Official product page
• NixOS configuration for the ODROID HC4 microcomputer by considerate