Module kernel::ipc

source · []
Expand description

Inter-process communication mechanism for Tock.

This is a special syscall driver that allows userspace applications to share memory.

Structs

The IPC mechanism struct.

Enums

Enum to mark which type of upcall is scheduled for the IPC mechanism.

Constants

Syscall number