[Summit-pc] Re: (seL4 summit) Reviewing instructions - due May 22nd