A microkernel is a kernel that provides a very limited number of services. A microkernel relies on user space daemons to provide services like filesystems.
Linux uses a monolithic kernel however other operating systems like HURD use a microkernel.
An example of a microkernel is Mach.