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