Well, Haiku isn't too different from that anyways. The kernel is very much C++ and not C, and does have certain hybrid tendencies (it's a lot less monolithic and statically linked than Linux is at least), but most drivers still run in kernel space and the process model is very POSIXy, with most of the other attributes you listed, as well...