Expand description
Types for Tock-compatible processes.
Re-exports§
pub use crate::process_checker::AcceptedCredential;pub use crate::process_checker::ProcessCheckerMachine;pub use crate::process_checker::ProcessCheckerMachineClient;
Structs§
- Binary
Version - The version of a binary.
- Function
Call - Struct that defines a upcall that can be passed to a process. The upcall
takes four arguments that are
Driverand upcall specific, so they are represented generically here. - Process
Addresses - Collection of process state information related to the memory addresses of different elements of the process.
- Process
Binary - A process stored in flash.
- Process
Custom Grant Identifier - Opaque identifier for custom grants allocated dynamically from a process’s grant region.
- Process
Id - Userspace process identifier.
- Process
Printer Context - A context token that the caller must pass back to us. This allows us to track where we are in the print operation.
- Process
Sizes - Collection of process state related to the size in memory of various process structures.
- Process
Standard - A type for userspace processes in Tock.
- Process
Standard Debug Full - A debugging implementation for
ProcessStandardthat records the full debugging state. - Return
Arguments - This is similar to
FunctionCallbut for the special case of the Null Upcall for a subscribe. - Sequential
Process Loader Machine - A machine for loading processes stored sequentially in a region of flash.
Enums§
- Error
- Error types related to processes.
- Fault
Action - The action the kernel should take when a process encounters a fault.
- Function
Call Source - Enumeration to identify whether a function call for a process comes directly
from the kernel or from a upcall subscribed through a
Driverimplementation. - Process
Load Error - Errors that can occur when trying to load and create processes.
- ShortId
- A compressed form of an Application Identifier.
- State
- States a process can be in.
- Stopped
Executing Reason - Enum used to inform scheduler why a process stopped executing (aka why
do_process()returned). - Stopped
State - States a process could previously have been in when stopped.
- Task
- Tasks that can be enqueued for a process.
Traits§
- Process
- This trait represents a generic process that the Tock scheduler can schedule.
- Process
Fault Policy - Generic trait for implementing a policy on what to do when a process faults.
- Process
Loading Async - Asynchronous process loading.
- Process
Loading Async Client - Client for asynchronous process loading.
- Process
Printer - Trait for creating a custom “process printer” that formats process state in some sort of presentable format.
- Process
Standard Debug - Interface supported by
ProcessStandardfor recording debug information. - Process
Standard Storage Permissions Policy - Generic trait for implementing a policy on how applications should be assigned storage permissions.
Functions§
- load_
processes - Load processes into runnable process structures.