Michael Neumann brought up the idea of using C++ in kernel programming, which has been suggested before. Reactions were generally negative, but there would be some possibilities.
What, no Objective-C ?
On a related note, I came across the BitC ( http://www.bitc-lang.org/ ) programming language recently which is specifically targeted at systems programming. It has some nice features such as first class functions. I don’t think a rewrite of the kernel is really a good use of time though.
DragonFly BSD Digest