Bug in EPC paging

[Jethro Beekman <jethro@xxxxxxxxxxxx>]

A user is reporting CPU soft lockup with Intel SDK version 2.1 and 2.5 
driver. This only happens when using SGX in conjunction with DPDK (Data 
Plane Development Kit) in the same process. The process is running two 
enclaves that together are bigger than the EPC.

Dmesg output:

2.1 driver: 
https://github.com/YangZhou1997/dpdk-sgx-crash/blob/master/dmesg-full.log

2.5 driver: 
https://github.com/YangZhou1997/dpdk-sgx-crash/blob/master/dmesg-full-2.5.0.log

Enclave memory layout: 
https://github.com/YangZhou1997/dpdk-sgx-crash/blob/master/sgxs.info

--
Jethro Beekman | Fortanix

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature