Upstream nixpkgs has the required components to run nixos on the rock64. Configuring the bootloader is a manual process, but well documented on the wiki.
This project is a fairly straightforward port of ayufan's rock64 project to NixOS.
Weekend hobby project. Works for me.
nix-build release.nix -A sdImage
Dump image to SD card. Insert into rock64. Boot.
The image includes UBoot with "Generic Distro Configuration" support.
Use the standard nixos-generate-config command to generate the
hardware and filesystem configuration file. In the main configuration
file (configuration.nix), include the two modules from this
repository's modules/ directory, which adds in the kernel package,
and some sensible defaults. In you main configuration.nix, specify
your desired kernel. For example:
{ config, lib, pkgs, ... }:
{
include = [
./rock64-nix/modules/rock64-configuration.nix
./rock64-nix/modules/packages.nix
];
boot.kernelPackages = pkgs.rock64.linuxPackages_ayufan_4_4;
}