Hello, I have the pinephone pro explorer edition, which is a bit newer and has more features than basic pinephone.
It was released a long time before Genode 23.02, however I am not sure if the recent Genode update will work on this hardware.
I have been eagerly following Genode in hopes for when it will work on my PCs.

Thanks for your feedback and reply,
DV03