The only reason this can 'solve' the problems of a micro-kernel is because of using managed code. They're using software based security for user threads, rather than the traditional hardware based security. This probably creates more overhead. The only real advantages of this is that it isn't prone to hardware based exploits, and binary drivers can be cross-platform assuming things like pci buses are abstracted from driver code in a sane way.