[embedding-shape]

That RFC says "New ports are added by proposing them in an RFC. At least two package maintainers have to lead a port to ensure it will be developed longer term." but I'm not finding any RFC for ARM support, so can one say work is really officially happening on ARM?

[rovr138]

The first step is setting up the project to allow other ports. That it can be done, what it will require, etc.

Once that’s done, then the ports can be submitted.

Look at the maintainers and contributors on the unofficial arm port. Orce this RFC gets accepted, the arm port can propose and figure out how to merge things together.

[embedding-shape]

Yeah, that sounds right to me, and sounds like you're agreeing with me that it isn't yet an official effort, as the RFC hasn't yet been merged, in contrast to what parent claimed.