[seL4 Announce] 2 weeks left before the seL4 summit; there's still time to register