secc
/
seL4-camkes
mirror of https://github.com/seL4/camkes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

README: provide links, clarify list is incomplete 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-06-27 17:05:38 +10:00
parent 044e39f2ba
commit 41af8afbd4
1 changed files with 11 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
README.md
View File

@ -15,12 +15,13 @@ and testing scripts.
test/ Testing scripts
```
This is not a standalone repository. Checkout the `camkes-manifest` repository or
go to our website for details.
This is not a standalone repository. Check out the [camkes-manifest] repository
using Google `repo` to get a setup that includes these applications, or go to
the [seL4 docsite] for details on CAmkES.
The applications in this repository are:
Some of the applications in this repository are:
`adder`: demonstrates the use of dataport wrapper to pass pointers via CAmkES RPC
`adder`: demonstrates the use of data port wrapper to pass pointers via CAmkES RPC
`epit`: demonstrates the use of CAmkES interrupt connector to receive hardware interrupts
@ -28,19 +29,11 @@ The applications in this repository are:
`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
`multiclient`: demonstrates multiple clients sharing one connection
`multiplier`: demonstrates the use of arrays as arguments
@ -48,12 +41,14 @@ The applications in this repository are:
`rotate`: demonstrates the use of user-defined types as the arguments of an interface
`swapcounter`:
`socket`: demonstrates the use of user-defined dataports
`socket`: demonstrates the use of user-defined data ports
`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
[seL4 docsite]: https://docs.sel4.systems/projects/camkes/
[camkes-manifest]: https://github.com/seL4/camkes-manifest