seL4 summit 2024: Training day @UNSW
18 Oct 2024. https://sel4.systems/Foundation/Summit/2024/#summit-training-day
Name
*
First Name
Last Name
Email
*
example@example.com
Affiliation
Which training will you be attending?
Using Lions OS (10AM - 12:30PM)
Using Rust in seL4 Userspace (1:30PM - 4PM)
Both
Submit
Should be Empty: