Luke Kenneth Casson Leighton wrote:
> "Recently there has been a fuss over monolithic and micro kernels -
>  specifically the direction of the Linux Kernel development. Free
>  Software is about "freedom of choice", and we should be able to choose
>  to compile the Linux Kernel as either a monolith or a microkernel. "
> 
>  ...
> 

Feel free to rewrite linux as a micro kernel. Let us know how that goes
for you.

// Stefan