[seL4 Announce] The seL4 summit 2024 will be held in Sydney, Australia