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 Calendar: devel@sel4.systems Who: * agrawal.sidhartha@gmail.com - organizer * birgit.brecknell@unsw.edu.au * devel@sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=NWozdWplbDZwZmk3aW8wajBjZHBqOGQ2czIgZGV2ZWxAc2VsNC5zeXN0ZW1z&tok=MjcjYWdyYXdhbC5zaWRoYXJ0aGFAZ21haWwuY29tOTljNzdjNWJkYmY0OWJjOWY4OWYyMzc0YzZhZWNkYzNkYTMwMzhlYQ&ctz=America%2FVancouver&hl=en&es=0 Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account devel@sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding