本文译至：http://sel4.systems/CAmkES/
CAmkES
CAmkES提供了一个更简单的方法来开发以seL4为基础的软件和系统。它简化了多服务器系统的设计和让开发者不用必须使用底层的seL4系统API和相关的资源管理要求。
实现。这些软件组件具有明确的交互接口，并且明确地详细描述了组件之间连接的系统设计。
CAmkES 包括:
- 一种语言用于描述组件接口，组件和整个以组件为基础的系统
- 一个处理这些描述的工具来结合程序员提供的组件代码和生成的胶水代码来构建一个完整的，可引导，系统映像
- 完全集成在seL4环境和构建系统
更多信息