--- /dev/null
+/** @file\r
+ OP-TEE specific header file.\r
+\r
+ Copyright (c) 2018, Linaro Ltd. All rights reserved.<BR>\r
+\r
+ This program and the accompanying materials\r
+ are licensed and made available under the terms and conditions of the BSD License\r
+ which accompanies this distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+#ifndef _OPTEE_H_\r
+#define _OPTEE_H_\r
+\r
+/*\r
+ * The 'Trusted OS Call UID' is supposed to return the following UUID for\r
+ * OP-TEE OS. This is a 128-bit value.\r
+ */\r
+#define OPTEE_OS_UID0 0x384fb3e0\r
+#define OPTEE_OS_UID1 0xe7f811e3\r
+#define OPTEE_OS_UID2 0xaf630002\r
+#define OPTEE_OS_UID3 0xa5d5c51b\r
+\r
+BOOLEAN\r
+EFIAPI\r
+IsOpteePresent (\r
+ VOID\r
+ );\r
+\r
+#endif\r