Common operations and types in Tock.
These are data types and access mechanisms that are used throughout the Tock kernel. Mostly they simplify common operations and enable the other parts of the kernel (chips and capsules) to be intuitive, valid Rust. In some cases they provide safe wrappers around unsafe interface so that other kernel crates do not need to use unsafe code.
Create a “fake” module inside of
Deferred call mechanism.
Hardware-independent kernel interface for deferred calls
Defines a LeasableBuffer type which can be used to pass a section of a larger buffer but still get the entire buffer back in a callback
Linked list implementation.
Helper functions for common mathematical operations.
Interface for queue structure.
Re-export the tock-register-interface library.
Implementation of a ring buffer.
Utility macros including
A pointer to statically allocated mutable data such as memory mapped I/O registers.