nostr:npub15pn3r3gqxulvg56j0sk2qa27887dana3yc99ntjz9uz59attulxsrc4un8 Apache NuttX and Genode are:
- https://nuttx.apache.org/