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 devel@sel4.systems 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