Module kernel::ipc

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