This is great news! Congratulations on the progress. I wish I had the time to jump in and contribute as I believe this project will provide a lot of value in the future.
I'm looking forward to diverse cross compilation as well as maybe some of the exotic targets gcc supports! I'm curious if there are plans to run Crater with gcc to check for rustc parity and maybe UB quirks?
I would love to do a crater run, it could be be pretty exciting since we have our cargo gccrs layer. I think once we get libcore working, we could look at no_std crates :)