#ifdef CONFIG_IMX_TRUSTY_OS
extern int armv7_init_nonsec(void);
extern void trusty_os_init(void);
+#include <trusty/libtipc.h>
#endif
#ifdef CONFIG_FSL_FASTBOOT
#ifdef NON_SECURE_FASTBOOT
armv7_init_nonsec();
trusty_os_init();
+ trusty_ipc_init();
#endif
fail:
if (avb_out_data != NULL)
avb_slot_verify_data_free(avb_out_data);
+#ifdef CONFIG_IMX_TRUSTY_OS
+ /* put ql-tipc to release resource for Linux */
+ trusty_ipc_shutdown();
+#endif
do_bootm(NULL, 0, 4, bootm_args);
/* This only happens if image is somehow faulty so we start over */