Skip to content

Latest commit

 

History

History
60 lines (47 loc) · 1.54 KB

README.md

File metadata and controls

60 lines (47 loc) · 1.54 KB
Raw

Hardkernel NixOS for ODROID HC4

This is an unofficial installation configuration of NixOS 22.05 for the Hardkernel ODROID HC4 microcomputer.

Usage

The recommended usage is to import this repository as a nix flake

Enable aarch64 emulation for the host system:

  boot.binfmt.emulatedSystems = [ "aarch64-linux" ];

Create a flake.nix with the following content:

{
  inputs.nixpkgs.url = "github:NixOS/nixpkgs/release-22.05";
  inputs.nixos-odroidhc4.url = "github:considerate/nixos-odroidhc4/release-22.05";
  outputs = inputs: {
    packages.aarch64-linux = {
      uboot = inputs.nixos-odroidhc4.packages.aarch64-linux.uboot-odroid-hc4;
      sd-image = inputs.self.nixosConfigurations.nixos-hc4.config.system.build.sdImage;
    };
    nixosConfigurations = {
      nixos-hc4 = inputs.nixpkgs.lib.nixosSystem {
        system = "aarch64-linux";
        modules = [
          inputs.nixos-odroidhc4.nixosModules.odroidhc4
          # add your own modules here...
        ];
      };
    };
  };
}

Build the SD image by running:

$ nix build .#packages.aarch64-linux.sd-image

Copy the built image to an SD-card with:

# dd if=result/sd-image/nixos-sd-image-*-aarch64-linux.img of=/dev/<DEVICE> status=progress bs=512K

Add the U-boot boot loader to the SD-card by building and running

$ nix build .#packages.aarch64-linux.uboot
$ ./result/sd_fusing.sh /dev/<DEVICE>