nostr:npub15pn3r3gqxulvg56j0sk2qa27887dana3yc99ntjz9uz59attulxsrc4un8 From following all things PinePhone: Apache NuttX? Genode?