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
