Module kernel::process

Types for Tock-compatible processes.

Re-exports

• pub use crate::process_loading::ProcessLoadError;
• pub use crate::process_loading::load_and_check_processes;
• pub use crate::process_loading::load_processes;
• pub use crate::process_policies::PanicFaultPolicy;
• pub use crate::process_policies::ProcessFaultPolicy;
• pub use crate::process_policies::RestartFaultPolicy;
• pub use crate::process_policies::StopFaultPolicy;
• pub use crate::process_policies::StopWithDebugFaultPolicy;
• pub use crate::process_policies::ThresholdRestartFaultPolicy;
• pub use crate::process_policies::ThresholdRestartThenPanicFaultPolicy;
• pub use crate::process_printer::ProcessPrinter;
• pub use crate::process_printer::ProcessPrinterContext;
• pub use crate::process_printer::ProcessPrinterText;
• pub use crate::process_standard::ProcessStandard;

Structs

• BinaryVersion
  The version of a binary.
• FunctionCall
  Struct that defines a upcall that can be passed to a process. The upcall takes four arguments that are Driver and upcall specific, so they are represented generically here.
• ProcessAddresses
  Collection of process state information related to the memory addresses of different elements of the process.
• ProcessCustomGrantIdentifier
  Opaque identifier for custom grants allocated dynamically from a process’s grant region.
• ProcessId
  Userspace process identifier.
• ProcessSizes
  Collection of process state related to the size in memory of various process structures.

Enums

• Error
  Error types related to processes.
• FaultAction
  The action the kernel should take when a process encounters a fault.
• FunctionCallSource
  Enumeration to identify whether a function call for a process comes directly from the kernel or from a upcall subscribed through a Driver implementation.
• ShortID
  A compressed form of an Application Identifier.
• State
  States a process can be in.
• StoppedExecutingReason
  Enum used to inform scheduler why a process stopped executing (aka why do_process() returned).
• Task
  Tasks that can be enqueued for a process.

Traits

• Process
  This trait represents a generic process that the Tock scheduler can schedule.