A hybrid kernel operating system.