Kernel core

Kernel is built around minimalistic core, which consists of prioritized thread scheduler. Scheduler can be started up after basic HW setup is done by calling os_start()

Enumeration

Unknown member type ThreadState

Type Definitons

typedef Process_t OS_RPC_stack[8]

This stack records owners of nested RPC calls. It can accomodate up to 8 owners which means 8 nested RPC calls.

typedef int Event_t

Event signals what exactly happened to the object being notified. See EventTypes

typedef void WaitHandler_t(const void *, Thread_t, int, Event_t)

Prototype for function that handles thread wakeup on notification.

Variable

Unknown member type os_threads Unknown member type os_processes Unknown member type os_stacks

Macros

OS_TASK_NO_STACK

OS_STACK_DWORD