K42 consists of a small exception-handling component that serves as the microkernel, a fast IPC mechanism called protected procedure call (PPC), and servers for most other components of the operating system.
K42 состоит из маленьких компонентов — обработчиков исключительных ситуаций, которые обслуживают микроядро, быстрого механизма межпроцессного взаимодействия (IPC) называемого защищённым вызовом процедур (PPC), и серверов для всех остальных компонентов ОС.