seL4 /camkes
Component Architecture test suite and example apps.
C36
camkes 开源项目推荐（11 个）
camkes 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
11收录项目
163Star 总量
4覆盖语言
相关标签
热门项目 全部 11
GitHub 共 11 个仓库，已全部展示seL4 /camkes-tool
The main CAmkES tool
Python27
seL4 /camkes-manifest
CAmkES 的顶级项目，这是一个组件平台，支持开发和构建静态 seL4 系统，作为一系列交互组件。
27
seL4 /camkes-vm
虚拟机作为CAmkES组件构建。
C25
seL4 /camkes-vm-examples
该项目在 GitHub 上没有填写描述
C19
seL4 /seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Shell15
seL4 /camkes-vm-examples-manifest
该项目在 GitHub 上没有填写描述
8
seL4 /camkes-vm-manifest
CAmkES 代码及示例
6
builtby-nipun /Netops
A modular C++17 network monitoring and system diagnostics application.
C++0
hlyytine /tii_sel4_build
seL4 based virtualization for NVIDIA Orin AGX
Shell0
qiushan996 /helloalgorithm
C/C++ 练习项目，包括但不限于算法与数据结构、Leetcode刷题笔记、单元测试框架使用、C/C++构建工具的使用等
C++0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 11 个项目；原始页面见 https://github.com/topics/camkes。
- 该话题在 GitHub 上共有 11 个仓库， 本站收录的是其中最热门的 11 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 11 个项目累计 163 Star，覆盖 4 种主要语言，数据更新于 2026-11-10。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。