Skip to content
/ camkes Public
forked from seL4/camkes

Component Architecture test suite and example apps.

License

Notifications You must be signed in to change notification settings

xurtis/camkes

This branch is 9 commits behind seL4/camkes:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Damon LeeDamon Lee
Damon Lee
and
Damon Lee
Feb 9, 2021
3fcc116 · Feb 9, 2021
Dec 2, 2020
Dec 2, 2020
Feb 9, 2021
Dec 2, 2020
Dec 2, 2020
Dec 2, 2020
Dec 2, 2020
Dec 7, 2020
Dec 2, 2020
Dec 2, 2020
Dec 2, 2020
Feb 4, 2021

Repository files navigation

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.

Resources

License

Code of conduct

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 73.9%
  • CMake 17.9%
  • Standard ML 6.5%
  • Tcl 0.7%
  • Shell 0.4%
  • Assembly 0.2%
  • Other 0.4%