CapROS: A Capability-Based Real-Time Operating System with Orthogonal Persistence
By
gjvc
Solid neighbourhood-bakery energy. Trustworthy and warm.
Summary
CapROS is a capability-based reliable operating system that combines older capability concepts with modern performance and resource management approaches. It's described as a small, secure, real-time operating system with orthogonal persistence, continuing the work of the earlier EROS project under the leadership of Charles Landau.
Key quotes
· 4 pulledCapROS is a new operating system that merges some very old ideas about capabilities with some newer ideas about performance and resource management.
The result is a small, secure, real-time operating system that provides orthogonal persistence.
CapROS is the continuation of the EROS project.
The CapROS project is led by Charles Landau.
You might also wanna read
WSL9x: Running Modern Linux Kernel Inside Windows 9x
WSL9x is a technical project that runs a modern Linux kernel (version 6.19) cooperatively inside the Windows 9x kernel, allowing users to ru
Fuzix OS 0.4 Released with Reworked Networking Layer and Bug Fixes
Fuzix OS version 0.4 has been released with significant updates including a completely reworked networking layer for better modularity, allo
Redox OS Implements New Deficit Weighted Round Robin CPU Scheduler
The article details the implementation of a new CPU scheduler for Redox OS, replacing the legacy Round Robin scheduler with a Deficit Weight
13-Year-Old Developer Builds Complete 32-bit x86 Operating System from Scratch in 14 Days
AurionOS is a custom 32-bit x86 operating system built entirely from scratch in C and Assembly by a 13-year-old developer. The project was c
Returning to FreeBSD: A Reflection on Server Deployment Evolution
The article reflects on the evolution of server deployment methods over decades, contrasting old manual FTP/file transfer approaches with mo
hypha.pub·3mo agoGenode OS Framework: A Toolkit for Building Secure Special-Purpose Operating Systems
The Genode OS Framework is a toolkit for building highly secure special-purpose operating systems that scales from embedded systems with min
