Which is what ChromeOS and Android are mostly today, leaving C to the kernel, or tiny special purpose libs, and everything else in a managed language, Limbo.
And how close is Go to Limbo?
If I remember correctly, they have similar concurrency models. They were both written the same author as well, Rob Pike.
Edit: fixed a typo
Quite close, unsafe package and method declaration come from Oberon-2 (thanks Robert Griesemer), everything else is somehow inspired from Limbo.