 +
 +#endif  // _INCLUDE_SGX_LFENCE_H_
 --- /dev/null
++++ include/sgx_quote.h
+@@ -0,0 +1,6 @@
++#ifndef _INCLUDE_SGX_QUOTE_H_
++#define _INCLUDE_SGX_QUOTE_H_
++
++#include "common/inc/sgx_quote.h"  // IWYU pragma: export
++
++#endif  // _INCLUDE_SGX_QUOTE_H_
+--- /dev/null
++++ include/sgx_report.h
+@@ -0,0 +1,6 @@
++#ifndef _INCLUDE_SGX_REPORT_H_
++#define _INCLUDE_SGX_REPORT_H_
++
++#include "common/inc/sgx_report.h"  // IWYU pragma: export
++
++#endif  // _INCLUDE_SGX_REPORT_H_
+--- /dev/null
 +++ include/sgx_thread.h
 @@ -0,0 +1,6 @@
 +#ifndef _INCLUDE_SGX_THREAD_H_

+        "include/sgx_eid.h",
+        "include/sgx_error.h",
+        "include/sgx_lfence.h",
+        "include/sgx_thread.h",
+    ],
+    copts = [

 #endif
--- /dev/null
+++ BUILD
@@ -0,0 +1,1171 @@
+# linux-sgx is the Intel SGX SDK
+
+package(
