Re: [PATCH v21 18/28] x86/sgx: Add swapping code to the core and SGX driver

2019-08-07 Thread Jarkko Sakkinen
On Wed, Aug 07, 2019 at 06:33:32AM +, Jethro Beekman wrote: > On 2019-07-13 10:07, Jarkko Sakkinen wrote: > > Because the kernel is untrusted, swapping pages in/out of the Enclave > > Page Cache (EPC) has specialized requirements: > > > > * The kernel cannot directly access EPC memory, i.e. ca

Re: [PATCH v21 18/28] x86/sgx: Add swapping code to the core and SGX driver

2019-08-06 Thread Jethro Beekman
On 2019-07-13 10:07, Jarkko Sakkinen wrote: Because the kernel is untrusted, swapping pages in/out of the Enclave Page Cache (EPC) has specialized requirements: * The kernel cannot directly access EPC memory, i.e. cannot copy data to/from the EPC. * To evict a page from the EPC, the kernel mu

[PATCH v21 18/28] x86/sgx: Add swapping code to the core and SGX driver

2019-07-13 Thread Jarkko Sakkinen
Because the kernel is untrusted, swapping pages in/out of the Enclave Page Cache (EPC) has specialized requirements: * The kernel cannot directly access EPC memory, i.e. cannot copy data to/from the EPC. * To evict a page from the EPC, the kernel must "prove" to hardware that are no valid TLB