Using Rust in seL4 Userspace

This training session is part of the seL4 Summit 2024 and has been funded by the seL4 Foundation.

It is lead by Nick Spinale ([email protected]).