| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 28-Jul-2020 | 15 | ||
| .github/ | H | 24-Jun-2020 | 3 | |
| .gitignore | H A D | 25-Jul-2019 | 42 | |
| .licenseignore | H A D | 24-Jun-2020 | 130 | |
| .stylefilter | H A D | 21-Nov-2019 | 565 | |
| alltests.py | H A D | 25-Jul-2019 | 2.5 KiB | |
| camkes/ | H | 25-Jul-2019 | 9 | |
| camkes-top-level.cmake | H A D | 03-Sep-2019 | 1.4 KiB | |
| camkes.cmake | H A D | 05-Aug-2020 | 27.7 KiB | |
| cdl-refine-tests/ | H | 26-Jun-2020 | 4 | |
| CHANGES | H A D | 09-Nov-2020 | 15 KiB | |
| CMakeLists.txt | H A D | 25-Jul-2019 | 459 | |
| components/ | H | 23-Jun-2020 | 8 | |
| docs/ | H | 18-Nov-2020 | 8 | |
| examples/ | H | 25-Jul-2019 | 4 | |
| Findcamkes-tool.cmake | H A D | 18-Sep-2020 | 2.2 KiB | |
| include/ | H | 25-Jul-2019 | 4 | |
| libcamkescakeml/ | H | 25-Jul-2019 | 4 | |
| libsel4camkes/ | H | 25-Jul-2019 | 6 | |
| LICENSE_BSD2.txt | H A D | 25-Jul-2019 | 1.4 KiB | |
| misc/ | H | 25-Jul-2019 | 4 | |
| README.md | H A D | 25-Jul-2019 | 664 | |
| tools/ | H | 17-Apr-2020 | 14 | |
| VERSION | H A D | 09-Nov-2020 | 16 |
README.md
1<!-- 2 Copyright 2017, Data61 3 Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 ABN 41 687 119 230. 5 6 This software may be distributed and modified according to the terms of 7 the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 See "LICENSE_BSD2.txt" for details. 9 10 @TAG(DATA61_BSD) 11--> 12 13# CAmkES 14 15This repository contains the code generator and templating system that form the 16core of the [CAmkES component platform](https://docs.sel4.systems/CAmkES/). 17 18For more information about CAmkES functionality, see the 19[documentation](docs/index.md). 20 21## Dependencies 22 23See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies 24