# camkes **Repository Path**: nextOS/camkes ## Basic Information - **Project Name**: camkes - **Description**: No description available - **Primary Language**: Unknown - **License**: Not specified - **Default Branch**: master - **Homepage**: None - **GVP Project**: No ## Statistics - **Stars**: 0 - **Forks**: 0 - **Created**: 2025-10-06 - **Last Updated**: 2025-10-06 ## Categories & Tags **Categories**: Uncategorized **Tags**: None ## README # 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. Check out the [camkes-manifest] repository using Google `repo` to get a setup that includes these applications, or go to the [seL4 docsite] for details on CAmkES. Some of the applications in this repository are: `adder`: demonstrates the use of data port 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 `keyboard`: demonstrates the use of IO ports and interrupts in a CAmkES component `lockserver`: demonstrates how to use built-in mutex `multiclient`: demonstrates 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 `socket`: demonstrates the use of user-defined data ports `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 [seL4 docsite]: https://docs.sel4.systems/projects/camkes/ [camkes-manifest]: https://github.com/seL4/camkes-manifest