Module kernel::platform::platform

source ·
Expand description

Interfaces for implementing boards in Tock.



  • 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.