Expand description
The kernel interface.
Not to be confused with r3_kernel
, a kernel implementation.
Re-exports
pub use cfg::Cfg;
pub use event_group::EventGroup;
pub use event_group::EventGroupBits;
pub use event_group::EventGroupRef;
pub use event_group::EventGroupWaitFlags;
pub use event_group::StaticEventGroup;
pub use hook::StartupHook;
pub use hunk::Hunk;
pub use interrupt::InterruptLine;
pub use interrupt::InterruptNum;
pub use interrupt::InterruptPriority;
pub use interrupt::StaticInterruptHandler;
pub use mutex::Mutex;
pub use mutex::MutexProtocol;
pub use mutex::MutexRef;
pub use mutex::StaticMutex;
pub use raw::Id;
pub use raw::QueueOrder;
pub use semaphore::Semaphore;
pub use semaphore::SemaphoreRef;
pub use semaphore::SemaphoreValue;
pub use semaphore::StaticSemaphore;
pub use task::LocalTask;
pub use task::StaticTask;
pub use task::Task;
pub use task::TaskRef;
pub use timer::StaticTimer;
pub use timer::Timer;
pub use timer::TimerRef;
Modules
Kernel configuration
Event groups
Hooks
Hunks
Interrupt lines and handlers
Mutexes
The low-level kernel interface to be implemented by a kernel implementor.
The low-level kernel static configuration interface to be implemented by a kernel implementor.
Semaphores
Tasks
Timers
Re-exports all traits defined under this module for convenience.
Enums
Error type for Task::activate
.
Error type for Kernel::adjust_time
.
Error type for Kernel::boost_priority
and
Kernel::unboost_priority
.
Error type for InterruptLine::clear
.
Error type for Kernel::acquire_cpu_lock
and
Kernel::release_cpu_lock
.
Error type for Semaphore::drain
.
Error type for InterruptLine::enable
and InterruptLine::disable
.
Error type for Kernel::exit_task
.
Error type for LocalTask::current
.
Error type for EventGroup::get
.
Error type for Semaphore::get
.
Error type for Task::priority
.
Error type for Task::interrupt
.
Error type for Mutex::lock
.
Error type for Mutex::lock_timeout
.
Error type for Mutex::mark_consistent
.
Error type for Kernel::park
.
Error type for Kernel::park_timeout
.
Error type for InterruptLine::pend
.
Error type for EventGroup::poll
.
Error type for Semaphore::poll_one
.
Error type for InterruptLine::is_pending
.
Error type for Mutex::is_locked
.
All result codes (including the one indicating success) that a kernel function can return.
Error type for InterruptLine::set_priority
and
InterruptLine::set_priority_unchecked
.
Error type for Task::set_priority
.
Error type for Timer::set_delay
.
Error type for Timer::set_period
.
Error type for Semaphore::signal
.
Error type for Kernel::sleep
.
Error type for Timer::start
.
Error type for Timer::stop
.
Error type for Kernel::time
and
Kernel::set_time
.
Error type for Mutex::try_lock
.
Error type for Mutex::unlock
.
Error type for Task::unpark
.
Error type for Task::unpark_exact
.
Error type for EventGroup::set
and EventGroup::clear
.
Error type for wait operations such as EventGroup::wait
.
Error type for EventGroup::wait
.
Error type for EventGroup::wait_timeout
.
Error type for Semaphore::wait_one
.
Error type for Semaphore::wait_one_timeout
.
Error type for wait operations with timeout such as
EventGroup::wait_timeout
.
Traits
Provides access to the global functionalities of a kernel.