[seL4 Announce] Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception