Module kernel::ipc[][src]

Inter-process communication mechanism for Tock.

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

Re-exports

use callback::AppId;
use callback::Callback;
use driver::Driver;
use grant::Grant;
use mem::AppSlice;
use mem::Shared;
use mem::Shared;
use process;
use returncode::ReturnCode;

Structs

IPC
IPCData

Constants

DRIVER_NUM

Syscall number