> Is it feasible to have the kernel compile just as cleanly if the compiler> is set to g++ instead of gcc? My guess is it can be done but it would take> an enourmous amount of changes to do it, and to have it compile cleanly.

Its wildly improbable g++ will generate correct code.

> Has anyone considered moving the kernel on to C++? I'm not saying using

When the GNU folk have a usable C++ compiler thats not ten times slower thangcc, doesnt migrate volatile objects over synchronization points etc thenmaybe. C++ would add some very handy typechecking