For a process to interact with the Tock kernel, which includes the drivers, it needs to make a system call. The Tock architecture is built around seven such system calls: yield, subscribe, command, read-write allow, read-only allow, memop, and exit. In a nutshell, any application that we aim to run on top of the Tock kernel needs to make these calls to access the resources like peripherals, storage space, or sensors.
However, including the system ...