[Summit-pc] Re: seL4 Summit Panels