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

WIP

Resources

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