Consequently, microkernel designs have been used for systems designed for high-security applications, including KeyKOS, EROS and military systems.
Takže, dizajn mikrokernelu bol použitý pre systémy navrhnuté ako aplikácie vysokej bezpečnosti, vrátane KeyKOS, EROS a vojenských systémov.