[Summit-pc] seL4 Summit Panels