Modules have nothing to do with microkernels. A system like you are describing is still a monolithic kernel. It changes nothing about the behavior of the syst

Modules have nothing to do with microkernels. A system like you are describing is still a monolithic kernel. It changes nothing about the behavior of the system, it just saves a couple of MB of RAM. A microkernel runs the drivers as separate userspace programs, there are no modules involved.