Other than HaikuOS, I can't think of any other real-world kernel written in C++. Linux, all BSDs, Windows NT, Hurd are all C. I'm not sure but I think XNU is C as well (the wiki lists it as C/C++).
Giving the great design it have and the leverage of Google on mobile phones, it will probably get a massive deployment in the future.