[Summit-pc] Re: [External] Re: (seL4 summit): 2024 PC