https://github.com/sel4/camkes
Component Architecture test suite and example apps.
https://github.com/sel4/camkes
camkes
Last synced: over 1 year ago
JSON representation
Component Architecture test suite and example apps.
- Host: GitHub
- URL: https://github.com/sel4/camkes
- Owner: seL4
- License: other
- Created: 2014-07-22T07:52:33.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2025-03-13T23:41:25.000Z (over 1 year ago)
- Last Synced: 2025-03-14T00:31:16.704Z (over 1 year ago)
- Topics: camkes
- Language: C
- Homepage: https://docs.sel4.systems/CAmkES/
- Size: 1.16 MB
- Stars: 27
- Watchers: 21
- Forks: 38
- Open Issues: 7
-
Metadata Files:
- Readme: README.md
- Contributing: .github/CONTRIBUTING.md
- License: LICENSE.md
- Code of conduct: .github/CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
# CAmkES
This repository contains various CAmkES applications, default configurations
and testing scripts.
```
apps/ Example applications
configs/ Default configurations
test/ Testing scripts
```
This is not a standalone repository. Checkout the `camkes-manifest` repository or
go to our website for details.
The applications in this repository are:
`adder`: demonstrates the use of dataport wrapper to pass pointers via CAmkES RPC
`epit`: demonstrates the use of CAmkES interrupt connector to receive hardware interrupts
`exchangestring`: demonstrates how to pass string arguments between components
`filter`: demonstrates the use of a component to filter communication
`global-imports`:
`hierarchical-attributes`:
`hierarchical-components`:
`keyboard`: demonstrates the use of IO ports and interrupts in a CAmkES component
`lockserver`: demonstrates how to use built-in mutex
`multiassembly`:
`multiclient`: domonstrates multiple clients sharing one connection
`multiplier`: demonstrates the use of arrays as arguments
`mutex`: demonstrates the use of user-defined connectors in CAmkES
`rotate`: demonstrates the use of user-defined types as the arguments of an interface
`swapcounter`:
`socket`: demonstrates the use of user-defined dataports
`structs`: demonstrates the use of struct and array attributes
`terminal`: a prototype for a secure terminal system
`uart`: demonstrates how to access hardware device memory