[seL4 Announce] 2 weeks left to get the early-bird registration at the seL4 summit