Publicly available process-related objects.
Struct that defines a upcall that can be passed to a process. The upcall
takes four arguments that are
Simply panic the entire board if a process faults.
A type for userspace processes in Tock.
Always restart the process if it faults.
Simply stop the process and no longer schedule it if a process faults.
Stop the process and no longer schedule it if a process faults, but also print a debug message notifying the user that the process faulted and stopped.
The action the kernel should take when a process encounters a fault.
Enumeration to identify whether a function call for a process comes directly
from the kernel or from a upcall subscribed through a
Errors that can occur when trying to load and create processes.
Various states a process can be in.
Tasks that can be enqueued for a process.
This trait represents a generic process that the Tock scheduler can schedule.
Generic trait for implementing a policy on what to do when a process faults.
Helper function to load processes from flash into an array of active
processes. This is the default template for loading processes, but a board
is able to create its own