Module kernel::platform

source ·
Expand description

Traits for implementing various layers and components in Tock.

Implementations of these traits are used by the core kernel.


  • pub use self::platform::ContextSwitchCallback;
  • pub use self::platform::KernelResources;
  • pub use self::platform::ProcessFault;
  • pub use self::platform::SyscallDriverLookup;
  • pub use self::platform::SyscallFilter;
  • pub use self::platform::TbfHeaderFilterDefaultAllow;


  • Interfaces for implementing microcontrollers in Tock.
  • Interface for configuring the Memory Protection Unit.
  • Scheduler Timer for enforcing Process Timeslices
  • Interface for configuring a watchdog