CapDL

Sparrow Manifest 是一个用于管理和组织基于微内核的嵌入式系统组件的项目，主要利用 seL4、CAmkES 和 CapDL 等技术。该项目旨在通过结构化的方式组织、部署和测试嵌入式系统组件，同时提升系统的安全性和模块性。它还支持与 Renode 集成，以便进行系统仿真和测试。