trivial: add opensbi path remove riscv-pk

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
1 file changed
tree: 6b4d860b9b9316427db52cd885645269b93b3e82
  1. .github/
  2. apps/
  3. libs/
  4. LICENSES/
  5. tests/
  6. .gitignore
  7. .licenseignore
  8. CMakeLists.txt
  9. easy-settings.cmake
  10. LICENSE.md
  11. README.md
  12. settings.cmake
README.md

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