Module kernel::platform[][src]

Expand description

Traits for implementing various layers and components in Tock.

Implementations of these traits are used by the core kernel.

Modules

Interfaces for implementing microcontrollers in Tock.

Interface for configuring the Memory Protection Unit.

Scheduler Timer for enforcing Process Timeslices

Interface for configuring a watchdog

Structs

An allow list system call filter based on the TBF header, with a default allow all fallback.

Traits

Trait for implementing handlers on userspace context switches.

Combination trait that boards provide to the kernel that includes all of the extensible operations the kernel supports.

Trait for implementing process fault handlers to run when a process faults.

Configure the system call dispatch mapping.

Trait for implementing system call filters that the kernel uses to decide whether to handle a specific system call or not.