I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em1R/pancake-a-language-for-verified-systems-programming @sched