> Also note that the design of Linux itself changed after this debate as well. The system of pluggable modules is not a microkernel but it is not exactly a true

> Also note that the design of Linux itself changed after this debate as well. The system of pluggable modules is not a microkernel but it is not exactly a true monolithic kernel either. We do mot “compile in” all our device drivers. Also, the FUSE user mode filesystem looks pretty microkernel-like to me. In the 1990's the XFree86 X11 server ran as root as a userspace process. I remember people wanting to move graphics into the kernel and Linus said something like "You all think microkernels are better with userspace device drivers, well XFree86 is a user space device driver." We used to have 10 different X servers for each graphics chip and a symlink from X to the one for the card you have installed. Since then we got DRI in the kernel for graphics but it was a debate for a while. GGI was another effort to put graphics into the kernel. There are some quotes from Linus in this article. https://en.wikipedia.org/wiki/General_Graphics_Interface https://en.wikipedia.org/wiki/General_Graphics_Interface