xurtis / 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

CAmkES

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 the 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 73.9%Language:CMake 17.9%Language:Standard ML 6.5%Language:Tcl 0.7%Language:Shell 0.4%Language:Assembly 0.2%Language:Makefile 0.2%Language:Rust 0.2%