This is an initial configuration of the PinePhone with a nixpkgs build from 2023-11-15. Notably the installer uses uuids by default, so it's up to the user to specify their own hardware-configuration.nix.