Name: Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney
Start: 2026-09-03T09:30:00-0700
End: 2026-09-03T10:00:00-0700

1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.

Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney

Thursday September 3, 2026 09:30 - 10:00 PDT

Plaza A & B

The seL4 Microkit has a problem: composing systems becomes very difficult when working with modular code or large code bases. The Microkit Acacia tool (formerly SDFgen) solves this problem by offering a higher-level abstraction for generating Microkit system files, capable of inserting modules with minimal effort. Acacia has been used extensively as a component of LionsOS and the seL4 Device Driver Framework (sDDF), simplifying integrating systems with multiple driver subsystems or high-level LionsOS components like filesystems or the firewall. Recently, Acacia has been re-implemented in Python for greater ease of use.

This talk will introduce the community to Acacia with a focus on newly added features which simplify build-time configuration and specification of large systems. We will cover the basics, starting with simply connecting a few programs together, and then demonstrate how to add subsystems such as sDDF driver stacks. We will conclude with a tutorial demonstrating how to convert freestanding work into a Acacia subsystem for future reuse, giving an overview of the architecture of the tool.

Speakers

Lesley Rossouw

Operating Systems Engineer, UNSW Sydney (Trustworthy Systems)

I am an OS engineer at the Trustworthy Systems Group, a research group @ The University of New South Wales. I am a maintainer for the seL4 Device Driver Framework and several other internal projects.

I am a computer engineer by training.

Thursday September 3, 2026 09:30 - 10:00 PDT
Plaza A & B

Walkthrough / Tutorial

seL4 Summit 2026

Lesley Rossouw

Get help with the event

seL4 Summit 2026

Lesley Rossouw

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Get help with the event