[seL4] next seL4 TSC meeting on Fri 16 Dec (15 Dec in US and Europe)