[][src]Module kernel::ipc

Inter-process communication mechanism for Tock.

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

Structs

IPC
IPCData

Constants

DRIVER_NUM

Syscall number