Module kernel::ipc[][src]

Inter-process communication mechanism for Tock.

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

Structs

IPC

The IPC mechanism struct.

Enums

IPCUpcallType

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

Constants

DRIVER_NUM

Syscall number