Sorry to be pessimistic but I don't see any interest to a new kernel.
Whatever design they choose, I have lots of doubts that it will bring any serious improvement. Even if the linux kernel doesn't have any microkernel design, it did not prevent it to evolve in many directions. And whatever the design is, they need to evolve... and the evolution is driven by advances in hardware mostly... I'm not sure if in the long run a microkernel has really any advantages.
Also something that I'm not sure Kernel developers have in mind are drivers... do they expect that driver developers will rewrite all existing drivers for their new kernel? It is enough of a challenge to get drivers for the linux platform, I'm afraid that too many platform would slow down these developments.
Sorry to be pessimistic but I don't see any interest to a new kernel.
Whatever design they choose, I have lots of doubts that it will bring any serious improvement.
Even if the linux kernel doesn't have any microkernel design, it did not prevent it to evolve in many directions.
And whatever the design is, they need to evolve... and the evolution is driven by advances in hardware mostly... I'm not sure if in the long run a microkernel has really any advantages.
Also something that I'm not sure Kernel developers have in mind are drivers... do they expect that driver developers will rewrite all existing drivers for their new kernel?
It is enough of a challenge to get drivers for the linux platform, I'm afraid that too many platform would slow down these developments.