[seL4] Re: Public TSC meeting on Fri, 29 Jan

Hi Matthieu,

On 27 Jan 2021, at 23:06, Mathieu Mirmont wrote:

On 1/27/21 12:15 AM, Gerwin Klein wrote:

...

Sorry about the very early time for Europe, but there are no time slots that work for the US, Australia, and Europe at the same time. We are planning to swap between better times for Europe and the US for the next meetings.

Would the stream be accessible afterwards? e.g. YouTube?

For this time the meeting will not be recorded -- we'll see how it goes and how big it gets first and look into recording/streaming options next time. I will send around summary notes afterwards, though, so that there is a record of what was discussed and decided. Cheers, Gerwin