Monolithic and hybrid kernels are usually insecure and error-prone, while performance of microkernels has improved significantly without decreasing security in any way.
Examples of microkernels/microkernel-based OSes:
> seL4
> GNU Hurd
> MINIX
> FreeRTOS