You should look into GNU Hurd then. I'm being serious, as exactly what you're describing sounds an awful lot like their micro-kernel approach. At least as of t

You should look into GNU Hurd then. I'm being serious, as exactly what you're describing sounds an awful lot like their micro-kernel approach. At least as of the last time I looked into it.