 diff -Nur /dev/null include/sgx_trts.h
 --- /dev/null
 +++ include/sgx_trts.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_TRTS_H_
 +#define _INCLUDE_SGX_TRTS_H_
 +

diff -Nur /dev/null external/rdrand/src/config.h
--- /dev/null
+++ external/rdrand/src/config.h
@@ -0,0 +1,53 @@
+/* config.h.  Generated from config.h.in by configure.  */
+/* config.h.in.  Generated from configure.ac by autoheader.  */
+

diff -Nur /dev/null include/sgx_thread.h
--- /dev/null
+++ include/sgx_thread.h
@@ -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_THREAD_H_
+#define _INCLUDE_SGX_THREAD_H_
+
