Comment by rovr138

3 days ago

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.

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.