[][src]Module cerk::runtime

Runtime definitions for CERK. The implementations for the declarations could be platform-specific.

Modules

channel

Wrappers for platform-specific channel implementation used in CERK.

Type Definitions

InternalServerFn

This is the function signature for every component, except the Kernel and the Scheduler. The function gets executed by the scheduler.

InternalServerFnRef

reference for type InternalServerFn

InternalServerFnRefStatic

static reference for type InternalServerFn

InternalServerId

Type for the port identifier, every port instance could be identified with this id.

ScheduleFn

Function signature for the Scheduler.

ScheduleFnRefStatic

Function signature for the Scheduler as reference