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=NWozdWplbDZwZ...

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