Dear Haitao,
Thank you for your reply. Just for the record:
Am 25.08.22 um 04:12 schrieb Haitao Huang:
On Tue, 23 Aug 2022 08:48:52 -0500, Paul Menzel wrote:
Am 20.08.22 um 08:13 schrieb Paul Menzel:
Am 19.08.22 um 20:28 schrieb Dave Hansen:
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:
The log message are attached to the first message, where I missed to
carbon-copy linux-sgx@ [1].
cat /proc/iomem # (as root)
and
cpuid -1 --raw
I am going to provide that next week. (Side note, Intel might have
some Dell XPS 9370 test machines in some QA lab.)
Please find both outputs at the end of the file.
Could you also check output of "sudo rdmsr -x 0x3a"?
40005
Also was CONFIG_X86_SGX_KVM set?
No, it’s not set in Debian’s Linux kernel configuration.
If CONFIG_X86_SGX_KVM is not set and bit 17 (SGX_LC) of the MSR 3A not set,
then I think following sequence during sgx_init is possible:
40005 = 0x09c45, so bit 17 (if starting from 0) is 0.
[…]
Kind regards,
Paul
