Traits for implementing various layers and components in Tock.
Implementations of these traits are used by the core kernel.
Interfaces for implementing microcontrollers in Tock.
Interface for configuring the Memory Protection Unit.
Scheduler Timer for enforcing Process Timeslices
Interface for configuring a watchdog
An allow list system call filter based on the TBF header, with a default allow all fallback.
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.