Remember MINIX? The one that was developed by Andrew Tanenbaum. The one that triggered Monolithic vs Microkernel debate. The one that had better design and more robust than Linux but lost its ground to the other.
After 2000 itself, the entire project has been made available with BSD license. But now it is moving in a direction that seems to be fitting in current scenario.
The team is now trying to port the programs and drivers from BSD systems and sooner or later, there will be a friendly userland. But the best part is, this will be the microkernel alternative for the available Linux and BSD kernels.
As processing power is an issue of yesterday, let us see how the battle, that was abandoned two decades ago is going to be fought in near future!