Module kernel::ipc

Inter-process communication mechanism for Tock.

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

Reexports

use AppId;

use AppSlice;

use Callback;

use Driver;

use Grant;

use Shared;

use process;

use returncode::ReturnCode;

Structs

IPC
IPCData

Constants

DRIVER_NUM

Syscall number