Operating system kernels
Monolithic kernels
Kernel
Mach
Linux kernel
Positive-definite kernel
Loadable kernel module