Re: If the didn't insist on sticking with a monolithic kernel they wouldn't have these arguments...
I agree that isn't the point, HOWEVER, if it was a microkernel, the filesystems wouldn't be in the kernel, they'd be userspace drivers (and they wouldn't be having this argument because somebody else would probably be writing the filesystem drivers lol).
Also, they'd be more "pluggable" if all they had to do was interface with an abstraction.
Sorry though, I'm not a fan of the microkernel method. I like having all my drivers in a monolithic kernel, and mine is even more monolithic because everything that drives hardware is built right in. Modules for things I don't load all the time, like virtualization drivers, netfillter modules etc.
Drivers all get updated accordingly when they are part of the kernel, too. The driver author often doesn't even have to do it. I know that when I boot Linux 6.8 for the first time (when it's mainline), that my filesystem drivers are going to be correct for the kernel,