⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

CAP_RIGHT_EXECUTE

veridian_kernel::verification::cap_proofs

Constant CAP_RIGHT_EXECUTE 

Source 
pub const CAP_RIGHT_EXECUTE: u32 = _; // 4u32