Community
cancel
Showing results for 
Search instead for 
Did you mean: 
AArya2
New Contributor I
228 Views

edger8r: Cannot import both "sgx_tprotected_fs.edl" and "sgx_tkey_exchange.edl"

Jump to solution

Consider the following enclave definition:

enclave
{
  from "sgx_tprotected_fs.edl" import *;
  from "sgx_tkey_exchange.edl" import *;

  trsuted
  {
    public sgx_status_t dance_securely();
  };

  untrusted
  {
  };
};

edger8r's output is an error message "detected circled import for `C:\Program Files (x86)\Intel\IntelSGXSDK\\include\sgx_tae_service.edl'"

0 Kudos
1 Solution
Juan_d_Intel
Employee
228 Views

As a temporary workaround, please comment out the line "from "sgx_tae_service.edl" import *;" from either sgx_tprotected_fs.edl or sgx_tkey_exchange.edl.

We're trying to find a solution to this issue.

View solution in original post

5 Replies
Juan_d_Intel
Employee
229 Views

As a temporary workaround, please comment out the line "from "sgx_tae_service.edl" import *;" from either sgx_tprotected_fs.edl or sgx_tkey_exchange.edl.

We're trying to find a solution to this issue.

View solution in original post

AArya2
New Contributor I
228 Views

Thank you Juan.

To me it seems that edger8r does not mark already imported enclaves off, and that causes problems when the dependency trees of two imported enclaves coincide. The little extension that I have written for edger8r that I use for my own programs doesn't seem to have that problem.

Juan_d_Intel
Employee
228 Views

Your assessment is correct.

You may submit a PR with your changes to the edger8r.

AArya2
New Contributor I
228 Views

But the Windows SDK is not open source, is it?

Juan_d_Intel
Employee
228 Views

No, the Windows SDK is not open source. I thought you had modified the edger8r source code.

Could you post your extension here?

Thanks.

Reply