[seL4 Announce] seL4 summit 2025 early-bird registration ends in 1 week