arch/arm/dts/rockchip-optee.dtsi

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright 2020 Google LLC
   4  */
   5
   6 #include <config.h>
   7
   8 #if defined(CONFIG_HAS_ROM) && defined(CONFIG_FIT)
   9 &binman {
  10         itb {
  11                 filename = "u-boot.itb";
  12                 fit {
  13                         fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>;
  14                         description = "FIT image with OP-TEE support";
  15                         #address-cells = <1>;
  16
  17                         images {
  18                                 uboot {
  19                                         description = "U-Boot";
  20                                         type = "standalone";
  21                                         os = "U-Boot";
  22                                         arch = "arm";
  23                                         compression = "none";
  24                                         load = <CONFIG_SYS_TEXT_BASE>;
  25
  26                                         u-boot-nodtb {
  27                                         };
  28                                 };
  29                                 optee {
  30                                         description = "OP-TEE";
  31                                         type = "firmware";
  32                                         arch = "arm";
  33                                         os = "tee";
  34                                         compression = "none";
  35                                         load = <(CONFIG_SYS_SDRAM_BASE + 0x8400000)>;
  36                                         entry = <(CONFIG_SYS_SDRAM_BASE + 0x8400000)>;
  37
  38                                         blob-ext {
  39                                                 filename = "tee.bin";
  40                                         };
  41                                 };
  42                                 fdt {
  43                                         description = CONFIG_SYS_BOARD;
  44                                         type = "flat_dt";
  45                                         compression = "none";
  46
  47                                         u-boot-dtb {
  48                                         };
  49                                 };
  50                         };
  51
  52                         configurations {
  53                                 default = "conf";
  54                                 conf {
  55                                         description = CONFIG_SYS_BOARD;
  56                                         firmware = "optee";
  57                                         loadables = "uboot";
  58                                         fdt = "fdt";
  59                                 };
  60                         };
  61                 };
  62         };
  63 };
  64 #endif