Kirsch Handbook

Development

CHERI RISC-V Cheatsheet
Kirsch Coding Style
Methodology
Morello Curiosities

Design

Cheriette
Cheriette Development and Debugging
Example design of some subsystem
Exception Levels
The global logical address space
Interrupt Handling
Related work
Secure Calls
Tasks

Tutorials

Acquiring the Kirsch Toolchain
Building Kirsch
Executing Kirsch
Build system
Souce Structure
Writing specifications in Sockeye3
seL4 in GLAS

Kirsch Handbook

Tasks
View page source

Tasks

A task is the schedulable unit in Cheriette.

Every task has an associated stack, and register values.

Previous Next

© Copyright 2025, Systems Group @ ETH Zürich. Revision 0be91f8b.

Built with Sphinx using a theme provided by Read the Docs.