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

Module syscall_api

Module syscall_api 

Source
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§

PackageInfo
Basic package information returned by sys_pkg_query.

Enums§

SyscallError
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§

SyscallResult
Result type for system call operations.