forked from seL4/camkes
-
Notifications
You must be signed in to change notification settings - Fork 0
Component Architecture test suite and example apps.
amstrnad/camkes
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
<!-- 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
About
Component Architecture test suite and example apps.
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C 72.1%
- CMake 20.4%
- Standard ML 5.6%
- Tcl 0.7%
- Shell 0.4%
- Assembly 0.3%
- Other 0.5%