

They kind of already do. The C used by the kernel team isn’t the exact same as what everyone else uses. Mainly because of the tooling they’ve built around it. I can’t remember specifics, but the tooling in place really helps out in that department.
Also, “memory safe C” is already a proposal for the C lang project.
Aurora gets a vote from me. I set it up for my technically repulsive father, and he gets on just fine with it.