On Thu, 2023-07-27 at 02:50 +0000, Huang, Kai wrote:
An enclave can not run nor generate page faults without a resident SECS page.
I am not sure whether "nor generate page faults without a resident SECS page" is accurate? When SECS is swapped out, I suppose the first EENTER should trigger a #PF on the TSC page and in the #PF handler the SECS will be swapped in first.
I guess you can just remove this sentence?
Hmm.. Probably I should interpret this sentence as the enclave "code" itself cannot generate page faults without a resident SECS. This is true. So feel free to ignore this comment.