CapROS: Capability-Based Reliable Operating System | Not Hacker News!