[seL4 Announce] The Trusted Computing Center of Excellence™ joins the seL4 Foundation