Technically Linux is a microkernel. The various Linux distributions are operating systems, which share the common Linux kernel.