Tock syscall number definitions and arch-agnostic interface trait.
Why the process stopped executing and execution returned to the kernel.
The syscall number assignments.
This trait must be implemented by the architecture of the chip Tock is running on. It allows the kernel to manage switching to and from processes in an architecture-agnostic manner.