I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/2024-10-17/overview/venue/Verandah%20Public/55/65%20Elizabeth%20St,%20Sydney%20NSW%202000,%20Australia @sched