 diff -Nur /dev/null include/sgx_lfence.h
 --- /dev/null
 +++ include/sgx_lfence.h
-@@ -0,0 +1,6 @@
+@@ -0,0 +1,24 @@
++/*
++ *
++ * Copyright 2018 Asylo authors
++ *
++ * Licensed under the Apache License, Version 2.0 (the "License");
++ * you may not use this file except in compliance with the License.
++ * You may obtain a copy of the License at
++ *
++ *     http://www.apache.org/licenses/LICENSE-2.0
++ *
++ * Unless required by applicable law or agreed to in writing, software
++ * distributed under the License is distributed on an "AS IS" BASIS,
++ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
++ * See the License for the specific language governing permissions and
++ * limitations under the License.
++ *
++ */
++
 +#ifndef _INCLUDE_SGX_LFENCE_H_
 +#define _INCLUDE_SGX_LFENCE_H_
 +

diff -Nur /dev/null include/sgx_error.h
--- /dev/null
+++ include/sgx_error.h
@@ -0,0 +1,6 @@
+#ifndef _INCLUDE_SGX_ERROR_H_
+#define _INCLUDE_SGX_ERROR_H_
+

+cc_library(
+    name = "trts",
+    hdrs = [
+        "//include:sgx.h",
+        "//include:sgx_trts.h",
+        "//include:sgx_trts_exception.h",
+    ],
+    tags = [
+        "manual",
