Re: [PATCH v20 00/28] Intel SGX1 support

From: Dave Hansen
Date: Fri May 10 2019 - 13:55:41 EST


On 5/10/19 10:37 AM, Jethro Beekman wrote:
> It does assume a specific format, namely, that the memory layout
> (including page types/permissions) of the enclave can be represented in
> a "flat file" on disk, or at least that the enclave memory contents
> consist of 4096-byte chunks in that file.

I _think_ Cedric's point is that, to the kernel,
/lib/x86_64-linux-gnu/libc.so.6 is a "flat file" because the kernel
doesn't have any part in parsing the executable format of a shared library.

I actually don't know how it works, though. Do we just just trust that
the userspace parsing of the .so format is correct? Do we just assume
that any part of a file passing IMA checks can be PROT_EXEC?