Module kernel::ipc[][src]

Expand description

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. NUM_UPCALLS should always equal NUM_PROCS + 1. The extra upcall is so processes can register as a service. Once const_evaluatable_checked is stable we will not need two separate const generic parameters.

Enums

IPCUpcallType

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

Constants

DRIVER_NUM

Syscall number