Module kernel::ipc [] [src]

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