On 8/19/22 09:02, Paul Menzel wrote: > On the Dell XPS 13 9370, Linux 5.18.16 prints the warning below: > > ``` > [ 0.000000] Linux version 5.18.0-4-amd64 > (debian-kernel@xxxxxxxxxxxxxxxx) (gcc-11 (Debian 11.3.0-5) 11.3.0, GNU > ld (GNU Binutils for Debian) 2.38.90.20220713) #1 SMP PREEMPT_DYNAMIC > Debian 5.18.16-1 (2022-08-10) > [ 0.000000] Command line: BOOT_IMAGE=/vmlinuz-5.18.0-4-amd64 > root=UUID=56f398e0-1e25-4fda-aa9f-611dece4b333 ro quiet > […] > [ 0.000000] DMI: Dell Inc. XPS 13 9370/0RMYH9, BIOS 1.21.0 07/06/2022 > […] > [ 0.235418] sgx: EPC section 0x40200000-0x45f7ffff Hi Paul, Would you be able to send the entire dmesg, along with: cat /proc/iomem # (as root) and cpuid -1 --raw I'm suspecting either a BIOS problem. Reinette (cc'd) also thought this might be a case of the SGX initialization getting a bit too far along when it should have been disabled. We had some bugs where we didn't stop fast enough after spitting out the "SGX Launch Control is locked..." errors.