I won’t be able to make the seL4 hangout on Wed (only arriving back in Sydney on Wed) — could someone else please take over the hosting for this week? Cheers, Gerwin