安全计算

CapROS：融合经典与创新的可靠操作系统

CapROS是一种基于能力的可靠操作系统，它巧妙地融合了关于能力的传统理念与最新的性能优化和资源管理技术。该系统具有小型化、高安全性和实时响应的特点，并支持正交持久性功能。作为EROS项目的延续，CapROS由Charles Landau领...