[seL4 Announce] ETH Zurich joins the seL4 Foundation