They've influenced the development of mainstream operating systems like macOS and modern Windows that use "hybrid kernels" ...