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.