NixOS on ARM/Radxa ROCK5 Model B

WIP

Repo for building Platform Firmware: https://github.com/samueldr/Tow-Boot/tree/wip/rock5-vendor

To build:

nix-build -A radxa-rock5b

Flash result to installation media (sd or mmc)

Nix flake for building OS image: https://github.com/aciceri/rock5b-nixos

To build:

nix-build

Flash result to a new second legacy bootable ext4 partition on the installation media

Boot into system

sudo nixos-rebuild switch --flake github:jonahbron/config/aciceri-rebooted-into-this#rock5b