ableos-idl/kernel/src/proccess.rs

//! Platform agnostic process

/// A process ID
pub type PID = u64;