mwp1990 / camkes

Component Architecture test suite and example apps.

Home Page:https://docs.sel4.systems/CAmkES/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

<!--
     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.

https://docs.sel4.systems/CAmkES/

License:Other


Languages

Language:C 68.7%Language:CMake 21.9%Language:Standard ML 7.2%Language:Tcl 0.8%Language:Shell 0.5%Language:Assembly 0.3%Language:Rust 0.3%Language:Makefile 0.3%