At returns read-only channel that can be used to wait for t.

MaxTasks returns number of tasks that can exists simultaneously.

Nanosec returns system time as number of nanosecond from some time in the past.

SchedYield causes the calling task to relinquish the CPU.

SetPrivLevel sets privilege level for current task to n.

SleepUntil sleeps task until Nanosec() < t.

WaitEvent waits until at least one from no more than 32 different flags will be set to the least significant bit of val or will deadline occur.

IRQPrioHighest is the highest IRQ priority.

IRQPrioLowest is the lowest IRQ priority.

IRQPrioNum is the number of priority levels.

IRQPrioStep if added to priority increases it to next, highest level.

SyscallPrio is the IRQ priority level equal to priority of IRQ/exception used to implement system calls.

Debug allows write debug information.

EventFlag can be used by tasks and ISRs to report the occurence of events and used by tasks (but not ISRs) to waiting for them.

An IRQ represents an interrupt request number.

IRQPrio represents IRQ priority.