Thanks !
Regarding allocating a dedicated carveout to run the secure OS, it seems to be possible to expand its memory by modifying value of TZDRAM, as suggested in this answer. However I didn’t find a proper path of this configuration.
The device I am using is Jetson AGX Xavier. Could you give me some helps about in which files we need to set this value, and the risk we may take if we set a very large value of memory.
Thank you !
.