Expand description
Tock syscall number definitions and arch-agnostic interface trait.
Structs
Possible return values of a
command
driver method, as specified
in TRD104.Enums
ContentSwitchReason
specifies why the process stopped executing and
execution returned to the kernel.Decoded system calls as defined in TRD 104.
Enumeration of the system call classes based on the identifiers
specified in the Tock ABI.
Enumeration of the possible system call return variants specified
in TRD104.
Enumeration of the system call return type variant identifiers described
in TRD104.
Enumeration of the yield system calls based on the Yield identifier
values specified in the Tock ABI.
Traits
Trait for capsules implementing peripheral driver system calls
specified in TRD104. The kernel translates the values passed from
userspace into Rust types and includes which process is making the
call. All of these system calls perform very little synchronous work;
long running computations or I/O should be split-phase, with an upcall
indicating their completion.
The
UserspaceKernelBoundary
trait is implemented by the
architectural component of the chip implementation of Tock. This
trait allows the kernel to switch to and from processes
in an architecture-independent manner.