Protected procedure call


A Protected Procedure Call is a messaging facility wherein messages are sent and received using procedure call interfaces. They are a core component of the K42 operating system.