https://github.com/sel4/camkes-tool
The main CAmkES tool
https://github.com/sel4/camkes-tool
camkes
Last synced: over 1 year ago
JSON representation
The main CAmkES tool
- Host: GitHub
- URL: https://github.com/sel4/camkes-tool
- Owner: seL4
- Created: 2014-07-22T07:51:59.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2025-03-17T00:00:12.000Z (over 1 year ago)
- Last Synced: 2025-04-20T17:16:46.911Z (over 1 year ago)
- Topics: camkes
- Language: Python
- Homepage: https://docs.sel4.systems/CAmkES/
- Size: 5.82 MB
- Stars: 29
- Watchers: 24
- Forks: 71
- Open Issues: 18
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES
- License: LICENSES/BSD-2-Clause.txt
Awesome Lists containing this project
README
# CAmkES
This repository contains the code generator and templating system that form the
core of the [CAmkES component platform](https://docs.sel4.systems/CAmkES/).
For more information about CAmkES functionality, see the
[documentation](docs/index.md).
## Dependencies
See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies
## Reporting security vulnerabilities
If you believe you have found a security vulnerability in code generated by
camkes-tool, we ask you to follow the seL4 [vulnerability disclosure
policy][VDP].
[VDP]: https://github.com/seL4/seL4/blob/master/SECURITY.md