Until now, the advantages of a microkernel are more theoretical than real. Anyway it is true that with processors that may, in the near future, have hundreds of cores, Linux may go through scalability troubles. I doubt the number of drivers is an issue though (do you have any reference?): Linux is monolithic but highly modular too.

Debugging a microkernel is very hard and explains why the HURD is still far from being usable in production. The GNU project did not know that when the technical architecture was chosen.

Reply via email to