 +        "psw/ae/aesm_service/source/common/oal/internal_log.h",
 +        "psw/ae/aesm_service/source/common/oal/oal.h",
 +        "psw/ae/aesm_service/source/common/oal/power.h",
++        "psw/ae/aesm_service/source/interfaces/get_att_key_id.h",
 +        "psw/ae/aesm_service/source/interfaces/quote_ex_service.h",
 +        "psw/ae/aesm_service/source/interfaces/quote_provider_service.h",
 +        "psw/ae/aesm_service/source/interfaces/quote_proxy_service.h",
++        "psw/ae/aesm_service/source/interfaces/select_att_key_id.h",
 +        "psw/ae/aesm_service/source/interfaces/service.h",
 +        "psw/ae/aesm_service/source/interfaces/pce_service.h",
 +        "psw/ae/data/constants/linux/default_url_info.hh",

 #include <IAEMessage.h>
 
 #include <IAERequest.h>
diff -Nur psw/ae/inc/internal/pse_inc.h psw/ae/inc/internal/pse_inc.h
--- psw/ae/inc/internal/pse_inc.h
+++ psw/ae/inc/internal/pse_inc.h

 bool is_valid_sp(uintptr_t sp);
--- /dev/null
+++ BUILD
@@ -0,0 +1,1321 @@
+# linux-sgx is the Intel SGX SDK
+
+load(
