I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em0H/industrial-scale-proof-engineering-for-critical-trustworthy-applications-inspecta @sched