|
@@ -11,6 +11,7 @@
|
|
|
#include <linux/libfdt.h>
|
|
|
#include <malloc.h>
|
|
|
#include <vxworks.h>
|
|
|
+#include <tee/optee.h>
|
|
|
|
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
|
|
|
@@ -433,6 +434,34 @@ static int do_bootm_openrtos(int flag, int argc, char * const argv[],
|
|
|
}
|
|
|
#endif
|
|
|
|
|
|
+#ifdef CONFIG_BOOTM_OPTEE
|
|
|
+static int do_bootm_tee(int flag, int argc, char * const argv[],
|
|
|
+ bootm_headers_t *images)
|
|
|
+{
|
|
|
+ int ret;
|
|
|
+
|
|
|
+ /* Verify OS type */
|
|
|
+ if (images->os.os != IH_OS_TEE) {
|
|
|
+ return 1;
|
|
|
+ };
|
|
|
+
|
|
|
+ /* Validate OPTEE header */
|
|
|
+ ret = optee_verify_bootm_image(images->os.image_start,
|
|
|
+ images->os.load,
|
|
|
+ images->os.image_len);
|
|
|
+ if (ret)
|
|
|
+ return ret;
|
|
|
+
|
|
|
+ /* Locate FDT etc */
|
|
|
+ ret = bootm_find_images(flag, argc, argv);
|
|
|
+ if (ret)
|
|
|
+ return ret;
|
|
|
+
|
|
|
+ /* From here we can run the regular linux boot path */
|
|
|
+ return do_bootm_linux(flag, argc, argv, images);
|
|
|
+}
|
|
|
+#endif
|
|
|
+
|
|
|
static boot_os_fn *boot_os[] = {
|
|
|
[IH_OS_U_BOOT] = do_bootm_standalone,
|
|
|
#ifdef CONFIG_BOOTM_LINUX
|
|
@@ -466,6 +495,9 @@ static boot_os_fn *boot_os[] = {
|
|
|
#ifdef CONFIG_BOOTM_OPENRTOS
|
|
|
[IH_OS_OPENRTOS] = do_bootm_openrtos,
|
|
|
#endif
|
|
|
+#ifdef CONFIG_BOOTM_OPTEE
|
|
|
+ [IH_OS_TEE] = do_bootm_tee,
|
|
|
+#endif
|
|
|
};
|
|
|
|
|
|
/* Allow for arch specific config before we boot */
|