NexusSfan

What about Hurd? Hurd has modular servers so it can be much less bloated compared to the massive all-in-one Linux kernel.