Expand description
Syscall Wrapper Types for VeridianOS
Type-safe wrappers defining the VeridianOS system call interface. These are contract definitions for user-space libraries; the actual implementations use architecture-specific syscall instructions at runtime.
NOTE: Many types in this module are forward declarations for user-space APIs. They will be exercised when user-space process execution is functional. See TODO(user-space) markers for specific activation points.
Structs§
- Package
Info - Basic package information returned by
sys_pkg_query.
Enums§
- Syscall
Error - Error codes returned by VeridianOS system calls.
Functions§
- sys_
cap_ create - Create a new capability with the specified rights bitmask.
- sys_
cap_ grant - Grant a capability to another process, enabling cross-process resource sharing.
- sys_
cap_ revoke - Revoke a capability and all capabilities derived from it.
- sys_
close - Close an open file descriptor, releasing associated resources.
- sys_
exec - Replace the current process image with a new program loaded from an ELF executable.
- sys_
exit - Terminate the current process with the given exit code.
- sys_
fork - Fork the current process, creating a new child process.
- sys_
getpid - Return the PID of the calling process.
- sys_
ipc_ receive - Receive a message from an IPC endpoint.
- sys_
ipc_ send - Send a message to an IPC endpoint.
- sys_
mmap - Map memory into the calling process’s virtual address space.
- sys_
munmap - Unmap a previously mapped memory region from the calling process’s address space.
- sys_
open - Open a file or directory, returning a file descriptor.
- sys_
pkg_ install - Install a package by name from the configured repositories.
- sys_
pkg_ query - Query information about a package by name.
- sys_
pkg_ remove - Remove an installed package from the system.
- sys_
read - Read data from an open file descriptor.
- sys_
wait - Wait for a child process to exit and collect its exit status.
- sys_
write - Write data to an open file descriptor.
Type Aliases§
- Syscall
Result - Result type for system call operations.