[seL4 Announce] Panellists for seL4 Summit announced