diff options
| author | GuEe-GUI <[email protected]> | 2026-06-14 11:42:01 +0800 |
|---|---|---|
| committer | Rbb666 <[email protected]> | 2026-07-27 17:53:20 +0800 |
| commit | a7b0182817059620738779b30f43eaeca10627ff (patch) | |
| tree | 585617e46cf93d1fd1e168c02bd7ba02b5b4f80c /components/drivers/include/rtdevice.h | |
| parent | b26ae7d8d9417c073999867187056f506086f256 (diff) | |
[dm][tee] support Trusted Execution Environment (TEE)
Signed-off-by: GuEe-GUI <[email protected]>
Diffstat (limited to 'components/drivers/include/rtdevice.h')
| -rw-r--r-- | components/drivers/include/rtdevice.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/components/drivers/include/rtdevice.h b/components/drivers/include/rtdevice.h index a9da14d322..1185224304 100644 --- a/components/drivers/include/rtdevice.h +++ b/components/drivers/include/rtdevice.h @@ -153,6 +153,10 @@ extern "C" { #endif /* RT_FIRMWARE_ARM_SCMI */ #endif /* RT_USING_FIRMWARE */ +#ifdef RT_USING_TEE +#include "drivers/tee.h" +#endif /* RT_USING_TEE */ + #ifdef RT_USING_HWCACHE #include "drivers/hwcache.h" #endif /* RT_USING_HWCACHE */ |