[seL4] 📣  2022 SUMMIT - Trusted Computing Center of Excellence