nixconf/systems/riscv64-linux/magrathea/default.nix