Is the motivation behind this to evolve linux to a microkernel?