This was completely accidental, I was making a calendar invite for myself and accidentally invited the email list.
-Sid
On Tue, Jun 14, 2022 at 3:01 PM Axel Heider axelheider@gmx.de wrote:
Sid,
You have been invited to the following event.
Title: [seL4] Reminder seL4 developer hangout
- rump kernel
- arm assembly question.
When: Tue Jun 14, 2022 3pm – 4pm Pacific Time - Vancouver Where: https://unsw.zoom.us/j/82640784431
Thanks, this is the first time we have a public suggestion for topics, even if it's a bit on short notice. Hopefully this will encourage others.
Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems