rockchip-optee.dtsi 1.1 KB

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