diff --git a/overlay/Makefile b/overlay/Makefile index 67bc3f6..9e64e2b 100644 --- a/overlay/Makefile +++ b/overlay/Makefile @@ -9,6 +9,7 @@ dtb-y := dtbo-y := makefile-path := t23x/nv-public/overlay +dtbo-y += tegra-optee.dtbo dtbo-y += tegra234-audio-overlay.dtbo dtbo-y += tegra234-carveouts.dtbo dtbo-y += tegra234-jetson.dtbo diff --git a/overlay/tegra-optee.dts b/overlay/tegra-optee.dts new file mode 100644 index 0000000..c2453ff --- /dev/null +++ b/overlay/tegra-optee.dts @@ -0,0 +1,27 @@ +// SPDX-License-Identifier: GPL-2.0-only +// Copyright (c) 2023, NVIDIA CORPORATION & AFFILIATES. All rights reserved. +// Jetson Device-tree overlay for OP-TEE. + +/dts-v1/; +/plugin/; + +/ { + overlay-name = "OP-TEE overlay"; + compatible = "nvidia,tegra234"; + + fragment@0 { + target-path = "/"; + board_config { + sw-modules = "kernel"; + }; + __overlay__ { + firmware { + optee { + compatible = "linaro,optee-tz"; + method = "smc"; + status = "disabled"; + }; + }; + }; + }; +};