Comment by sepeth

AFAIK, loadable kernel modules has nothing to do with microkernels. Those are still running in the kernel space.

Maybe you meant something like FUSE.