Call is a convenience method that issues an RPC call on a disposable client created with NewClient(), to avoid concurrent reads and writes a mutex is held to prevent interleaved invocations.

Exit terminates the execution context scheduling through a system call to the supervisor.

GetRandom fills a byte array with random values through a system call to the supervisor.

Nanotime returns the system time in nanoseconds through a system call to the supervisor.

NewClient returns a new client suitable for RPC calls to the supervisor.

Print prints a single character on standard output through a system call to the supervisor.

Read requests a transfer of n bytes into p from the supervisor through the syscall specified as first argument.

Supervisors triggers a supervisor call (SWI/SVC).

Write requests a transfer of n bytes from p to the supervisor through the syscall specified as first argument.

Stream implements a data stream interface to exchange data buffers between the security monitor and a lower privilege execution context over syscalls.