https://sel4summit2024.sched.com
I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em1O/rust-support-in-sel4-userspace-overview-and-update @sched