One of the founders of Ferrous Systems has answered some questions about it on Hacker News. See here and here.
The spec they created for the certification process is open source. There is some “tiny” amount of the patches that aren’t public but it sounds like it is essentially a recent stable release of Rust because the other major changes have been contributed upstream. It’s not clear if they definitely plan to eventually release the rest of thier changes as open source or not but they will consider it.
Some of my favorite communities that are fun and active are: