Applications

Currently there are not many applications available since most of the time was spent in designing and setting up the project and the CI/CD pipeline. Since the project is mainly meant to show a blueprint on how to create your own project on top of the seL4 microkernel on a specific hardware board, the current state of the project suffices for now.

App: hello-world

Supported Platforms

• Zynq7000
• RPi4

Description

This application creates a simple CAmkES component that prints Hello CAmkES World on the command line. It should be used mainly for testing purposes in order to check if a board is sufficiently supported in the project.

Component Dependencies

• None

App: printer

Supported Platforms

• Zynq7000

Description

This application creates two interacting CAmkES components, a client component and a printer component. The client component passes a string to the printer component via RPC. When receiving the message, the printer component prints the received message on the command line. The client component waits for a certain time interval before issuing another RPC call.

Component Dependencies

• TimeServer component from global-components