[Sir_Cmpwn]

Writing a microkernel in C is fine. I said _C++_. But for the record, I built this:

https://github.com/KnightOS/kernel

And I've worked on toy kernels here and there and studied more serious kernels in depth.

[kajecounterhack]

You're probably missing their tradeoffs. Google has deep expertise in C++ within the company and integration with existing libraries / tools is a huge bonus. So if the goal is a market-ready product and velocity matters, then it makes sense not to adopt a new language that is still changing a lot. It's only your opinion that they've chosen the wrong tool. There isn't one right answer to nuanced product decisions.

[Sir_Cmpwn]

>then it makes sense not to adopt a new language that is still changing a lot

I should clarify that I agree with eddieh and think C is the only rational choice.