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