Expand description
The low-level kernel interface to be implemented by a kernel implementor.
Safety
Most traits in this method are unsafe trait because they have to be
trustworthy to be able to build sound memory-safety-critical abstractions on
top of them.
The trait methods that operate on a given Id are all defined as unsafe fn as the caller is responsible for maintaining object safety.
Structs
Options for EventGroup::wait.
Enums
Specifies the locking protocol to be followed by a mutex.
Indicates a variant of MutexProtocol supported by a kernel.
Specifies the sorting order of a wait queue.
Indicates a variant of QueueOrder supported by a kernel.
Traits
A group of traits that must be implemented by kernel object ID types,
including KernelBase::RawTaskId.
Provides the adjust_time method.
Provides access to the minimal API exposed by a kernel.
Provides the boost_priority method.
Provides access to the event group API exposed by a kernel.
Provides access to the interrupt line API exposed by a kernel.
Provides access to the mutex API exposed by a kernel.
Provides access to the semaphore API exposed by a kernel.
Provides the task_set_priority method.
Provides the time method.
Provides access to the timer API exposed by a kernel.
Type Definitions
Unsigned integer type backing event groups.
A combined second-level interrupt handler.
Numeric value used to identify interrupt lines.
Priority value for an interrupt line.
Unsigned integer type representing the number of permits held by a semaphore.