jimpo / camkes-tool

The main CAmkES tool

https://docs.sel4.systems/CAmkES/

Geek Repo

Github PK Tool

CAmkES

This repository contains the code generator and templating system that form the core of the CAmkES component platform.

For more information about CAmkES functionality, see the documentation.

Dependencies

See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies

About

The main CAmkES tool

https://docs.sel4.systems/CAmkES/

Other

Languages

Language:Python 50.0%Language:C 37.0%Language:Isabelle 6.3%Language:CMake 5.5%Language:GAP 0.6%Language:Assembly 0.3%Language:Vim Script 0.3%Language:C++ 0.1%Language:Standard ML 0.0%