[seL4 Announce] Thanks Kry10 for being Gold Sponsor of the seL4 Summit 2023