||1 month ago|
|modules||1 month ago|
|README.md||6 months ago|
|configuration.nix||6 months ago|
|default.nix||6 months ago|
Hardkernel NixOS for ODROID HC4
To build an image that can be flashed to an SD card, run:
However, you might want to add your own SSH keys to the odroidhc4 configuration before doing so.
To flash the created image run
$ nix-shell -p etcher # If you have polkit enabled $ etcher # If you don't have polkit $ sudo etcher --no-sandbox
Select the SD card image from
result/sd-image/nixos-sd-image-20.09pre-git-aarch64-linux.img and the SD card device and
flash the image onto the device.
Boot the device
Insert the flashed SD card into your HC4 device and let it boot.
Control your device over SSH
Log in to your booted device over SSH and run an initial
nixos-rebuild switch to get the non-cross compiled versions
of all packages. This will also update the u-boot bootloader to load the recently built version of NixOS.
If you haven't changed the nixpkgs pin or the nix binary cache configuration the packages will be fetched from considerate.cachix.org. If you don't trust the binary cache you can disable this configuration and compile everything yourself for about 3-4 hours.
NixOS generations and limitations of the current configuration
The bootloader is set up using the
boot.ini script to enable ease of use with the pre-flashed Petitboot that is
installed in the HC4 SPI flash memory. I have yet to find out how to allow this Petitboot setup to support multiple
generations of NixOS so that you can choose a previous version of the operating system when booting the device. However,
by running the
/nix/var/nix/profiles/system-GENERATION-link/bin/switch-to-configuration switch command you can revert
to a previous generation if you are able to boot the device on the most recent one.