Agenda I. Background - Tech Stack - Project Sparrow - Testbed II. Practicing Sparrow - CantripOS(KataOS) - Rust support in seL4 userspace III. Sparrow development - Develop with Renode system named CantripOS, that runs on top of seL4 and (ignoring the seL4 kernel) is written almost entirely in Rust. Sparrow (and CantripOS) are definitely a work in progress. The CantripOS components are camkes-tool repository with additions to support CantripOS services • capdl: seL4's capdl repository with addition for CantripOS services and the CantripOS rootserver (a replacement for capdl-loader-app