I think you missed the bit of my reply where I explained how this could all work on Linux too. And you seemed to have also missed the other bit where I explained why a microkernel is nicer (hint: concurrency, no need for multiple processes or user space context switches, etc).