I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em0i/running-certified-operating-systems-under-the-sel4-hypervisor @sched