I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/event/1em1v/doing-nix-for-sel4-towards-more-infrastructure-as-code @sched