Module kernel::platform[][src]

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

Traits

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.