NixOS has support for these boards using AArch64 architecture on the nixpkgs-unstable and stable channel.