KasperskyOS is a specialized operating system based on a separation microkernel and security monitor.
See also:
In this Help section
Overview
KasperskyOS architecture
IPC
Resource Access Control
Structure and startup of a KasperskyOS-based solution