So far, I've managed to learn how to quickly upload new configurations of stage-2 #mobilenixos software to a #pinephone using SSH. Not much harder than desktop nixos actually, but it works for the current boot only so far.
The procedure of updating stage-1 and kernel without re-flashing is still unclear, but I had a chance to see a recovery menu where I could select OS generations. I am sure there is a method to add new items to this list.
#mobilenixos uses a simplified profile management system, compared to #nixos. From what I know, to change the phone's configuration, users are to 1) Compile the "toplevel" mobilenixos expression on the host PC (after setting up either a cross-compiler or a remote aarch builder) 2) nix-copy-closure the new expression over SSH to a mobile device 3) Add the new profile to a list of profiles using `nix-env` on the device.
New profiles may be activated on the fly, old profiles remain in the recovery menu.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!