[seL4 Announce] The seL4 Foundation welcomes Li Auto as a Premium member