SexOS · Reference
User Manual
Welcome to SexOS, the high-performance, Distributed Single Address Space Operating System (DSAS). This manual provides an overview of the core system commands and services. Type help in your SexOS terminal to display this reference.
🛠 sex-src (Software & Sexdrive Management)
sex-src is the primary build and package management system for SexOS. It fetches source code, applies DDE-Sex patches, and compiles packages into isolated Protection Domains (PDs).
sex-src pkg <name>: Fetch and compile a package or sexdrive (e.g.,sex-src pkg nouveau-rtx).sex-src probe: Analyze your local PCI and Device Tree hardware to recommend sexdrive.sex-src install <script>: Launch an interactive installation script.sex-provision <target>: Bundle the compiled kernel and.spdimages into a bootable EFI/Pi disk image.
🕹 System Services & Supervisors
SexOS runs traditional monolithic kernel components as isolated, user-space servers.
| Service | Role |
|---|---|
| sexit | Minimalist service supervisor (replaces systemd). Ensures critical PDs stay alive. Usage: sexit::start_service("name", pd_id) |
| sexfiles | Virtual File System registry. Manages mount points for ext4, btrfs, FAT32, and NTFS. |
| sext | Global Memory Manager. Handles demand sexting and Distributed Shared Memory (DSM) across the sexnode. |
| sexnet | Zero-Copy TCP/IP sexnet Stack. |
| sexnode | Sexnode Manager. Discovers other SexOS machines on the network for transparent remote IPC. |
| sexdrm | Direct Rendering Manager. Interfaces with your GPU for Wayland compositors. |
| sexsound | ALSA-lifted audio server. |
| sexinput | libinput-lifted server for mouse and keyboard events. |
| sexwifi | Wireless networking server. |
🐧 Lin-Sex (Linux Compatibility)
SexOS can run unmodified Linux binaries (like bash, gcc, grep).
- The Lin-Sex loader automatically intercepts Linux system calls and translates them into native high-speed PDX calls routed through sexc (our POSIX emulation layer).
- Just execute Linux ELF binaries directly from the shell; the kernel handles the rest.
🖥 Desktop Environments
SexOS ships with the Silk Desktop Environment — a pure PDX-native desktop built on SexCompositor with zero-copy graphics, hardware-accelerated animations, and Catppuccin Mocha theming. See the Silk DE documentation for full details.
📁 Stack Structure
- Core: Pure Rust
no_stdMicrokernel (< 7 kLOC). - Userspace: Isolated Standalone ELFs (
sexc,sexfiles,sexnet,sexnode, etc.). - Isolation: Intel MPK (Hardware Keys) + CHERI Metadata Prep.
git clone https://github.com/xirtus/sex.git && cd sex
./scripts/clean_build.sh && make run-sasos