The main CAmkES tool

Component Architecture test suite and example apps.

Virtual Machine built as a CAmkES component.

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

CAmkES code and examples

C/C++ 练习项目，包括但不限于算法与数据结构、Leetcode刷题笔记、单元测试框架使用、C/C++构建工具的使用等