[seL4] Public seL4 TSC meeting on Fri, 12 Feb