I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em1I/generating-trustworthy-hardwaresoftware-i2c-drivers-for-board-management-controllers @sched