Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Component Architecture test suite and example apps. http://wiki.sel4.systems/CAmkES/
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
<!-- 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