How-to guide for CAmkES
This guide provides links to CAmkES tutorial solutions as quick how-to reference guide.
A basic CAmkES application
- Define an instance in the composition section of the ADL
- Add a connection
- Define an interface
- Implement an RPC function
- Invoke an RPC function
Events in CAmkES
- Specify an events interface
- Add connections
- Wait for data to become available
- Signal that data is available
- Register a callback handler
- Specify dataport interfaces
- Specify dataport connections
- Copy strings to an untyped dataport
- Read the reply data from a typed dataport
- Send data using dataports
- Read data from an untyped dataport
- Put data into a typed dataport
- Read data from a typed dataport
- Set component priorities
- Restrict access to dataports
- Test the read and write permissions on the dataport
CAmkES Timer
- Instantiate a Timer and Timerbase
- Connect a timer driver component
- Configure a timer hardware component instance
- Call into a supplied driver to handle the interrupt
- Stop a timer
- Acknowledge an interrupt
- Get a timer handler
- Start a timer
- Implement an RPC interface
- Set a timer interrupt
- Instantiate a TimerDTB component
- Connect interfaces using the seL4DTBHardware connector
- Configure the TimerDTB component
- Handle the interrupt
- Stop the timer