[seL4] Reminder seL4 developer hangout