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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
