[seL4 Announce] Re: Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021

Please note that the original registration link no longer works outside China. Please use this link instead: http://xcalscan.mikecrm.com/Uw4y9HU Apologies for that. Gernot