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
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.