forked from seL4/camkes
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
43 lines (36 loc) · 1.69 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
<!--
Copyright 2017, Data61
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ABN 41 687 119 230.
This software may be distributed and modified according to the terms of
the BSD 2-Clause license. Note that NO WARRANTY is provided.
See "LICENSE_BSD2.txt" for details.
@TAG(DATA61_BSD)
-->
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 "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