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.