CapROS: Capability-Based Reliable Operating System

(capros.org) by gjvc | Dec 15, 2025 | 53 comments on HN