camkes

There are 0 repository under camkes topic.

• seL4 / camkes-tool

  The main CAmkES tool

  camkes
  Language:Python 29

• seL4 / camkes

  Component Architecture test suite and example apps.

  camkes
  Language:C 27

• seL4 / camkes-vm

  Virtual Machine built as a CAmkES component.

  camkes
  Language:C 22

• seL4 / camkes-manifest

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

  camkes
  20

• seL4 / camkes-vm-examples

  camkes
  Language:C 16

• seL4 / seL4-CAmkES-L4v-dockerfiles

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

  camkesdockerl4vsel4
  Language:Shell 12

• seL4 / camkes-vm-manifest

  CAmkES code and examples

  camkes
  6

• seL4 / camkes-vm-examples-manifest

  camkes
  4

• qiushan996 / helloalgorithm

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

  algorithmcamkesdata-structures
  Language:C++