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