Also kupfer (pmos but arch), ubports (ex Ubuntu touch) and droidian (similar to ubports with being halium-based but Debian and conventional DEs, hence, it’s supposed to actually run software). Mobile-nixos, to some extent, although it’s more of a PoC, in my experience