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§