That is not at all a problem. On a microkernel you just have a userspace TCP/network server that your other programs talk to that manages/multiplexes the shared network connection.
Agreed. My point was a the network stack need not live in the kernel.
Agreed. My point was a the network stack need not live in the kernel.