Module kernel::platform

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

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

Traits

• ContextSwitchCallback
  Trait for implementing handlers on userspace context switches.
• KernelResources
  Combination trait that boards provide to the kernel that includes all of the extensible operations the kernel supports.
• ProcessFault
  Trait for implementing process fault handlers to run when a process faults.
• SyscallDriverLookup
  Configure the system call dispatch mapping.
• SyscallFilter
  Trait for implementing system call filters that the kernel uses to decide whether to handle a specific system call or not.