Expand description
Traits for implementing various layers and components in Tock.
Implementations of these traits are used by the core kernel.
Modules§
- chip
- Interfaces for implementing microcontrollers in Tock.
- mpu
- Interface for configuring the Memory Protection Unit.
- scheduler_
timer - Scheduler Timer for enforcing Process Timeslices
- watchdog
- Interface for configuring a watchdog
Structs§
- TbfHeader
Filter Default Allow - An allow list system call filter based on the TBF header, with a default allow all fallback.
Traits§
- Context
Switch Callback - Trait for implementing handlers on userspace context switches.
- Kernel
Resources - Combination trait that boards provide to the kernel that includes all of the extensible operations the kernel supports.
- Process
Fault - Trait for implementing process fault handlers to run when a process faults.
- Syscall
Driver Lookup - Configure the system call dispatch mapping.
- Syscall
Filter - Trait for implementing system call filters that the kernel uses to decide whether to handle a specific system call or not.