Module r3_core::kernel::raw

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

• EventGroupWaitFlags
  Options for EventGroup::wait.

Enums

• MutexProtocol
  Specifies the locking protocol to be followed by a mutex.
• MutexProtocolKind
  Indicates a variant of MutexProtocol supported by a kernel.
• QueueOrder
  Specifies the sorting order of a wait queue.
• QueueOrderKind
  Indicates a variant of QueueOrder supported by a kernel.

Traits

• Id
  A group of traits that must be implemented by kernel object ID types, including KernelBase::RawTaskId.
• KernelAdjustTime
  Provides the adjust_time method.
• KernelBase
  Provides access to the minimal API exposed by a kernel.
• KernelBoostPriority
  Provides the boost_priority method.
• KernelEventGroup
  Provides access to the event group API exposed by a kernel.
• KernelInterruptLine
  Provides access to the interrupt line API exposed by a kernel.
• KernelMutex
  Provides access to the mutex API exposed by a kernel.
• KernelSemaphore
  Provides access to the semaphore API exposed by a kernel.
• KernelTaskSetPriority
  Provides the task_set_priority method.
• KernelTime
  Provides the time method.
• KernelTimer
  Provides access to the timer API exposed by a kernel.

Type Definitions

• EventGroupBits
  Unsigned integer type backing event groups.
• InterruptHandlerFn
  A combined second-level interrupt handler.
• InterruptNum
  Numeric value used to identify interrupt lines.
• InterruptPriority
  Priority value for an interrupt line.
• SemaphoreValue
  Unsigned integer type representing the number of permits held by a semaphore.