keystone-enclave / keystone-sdk

SDK for Keystone Enclave - ABI/SBI libraries and sample apps
Other
44 stars 22 forks source link

Preparing SeL4 support in SDK #13

Closed dayeol closed 5 years ago

dayeol commented 5 years ago

Two things that have changed: (1) The user linearize the physical address by using a new ioctl (VSPACE_ALLOC) (2) The user passes more parameters (e.g., freemem size, virtual addresses) that is needed to create and finalize the enclave.

@alexthomas1 addr_packed structure has been moved to keystone_user.h, and also a few lines have been added to Keystone::init. Beware of conflicts!