15 Jun
2022
15 Jun
'22
8:02 a.m.
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
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