While it's true that a microkernel would hand the job to userspace, this is unrelated to Linux's bundling of drivers. Linux, unlike the Windows kernel (which i

While it's true that a microkernel would hand the job to userspace, this is unrelated to Linux's bundling of drivers. Linux, unlike the Windows kernel (which is also not a microkernel), does not have a stable kernel API for drivers. This means that drivers that live outside the tree have to play catch-up to every change that the kernel devs make. When a driver is in-kernel, the person that made the changes fixes the driver as part of their change. So Linux really encourages drivers to become open-source and submit for inclusion in the mainline kernel, just to avoid the maintenance hassle.