[seL4] (Results) Re: seL4 summit 2024: survey about location