I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/2024-10-16/overview/venue/The%20Butler/123%20Victoria%20St,%20Potts%20Point%20NSW%202011,%20Australia @sched