[seL4] Re: seL4 developer hangout/video call

There is no recording, but I'm planning to put together a high-level summary and post that next week. Cheers, Gerwin

On 5 Nov 2021, at 14:48, Jimmy Brush via Devel wrote:

Will recordings or notes from these meetings be made available? _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems