I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/2024-10-17/list/descriptions/type/Panel+Discussions+%26+Birds+of+a+Feather @sched