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

Module cap_transfer

Module cap_transfer 

Source
Expand description

Capability transfer through IPC

This module handles the secure transfer of capabilities between processes through IPC messages.

Functions§

receive_capability
Extract and validate capabilities from received message
revoke_transferred_capability
Revoke a capability that was transferred via IPC
transfer_capability
Transfer a capability through an IPC message