optee-os for Debian ------------------- optee-os is a mini OS running in the ARM TrustZone. As a firmware, it cannot use shared libraries from Debian. As explain by upstream [1]: "OP-TEE core supports only static libraries that are linked at build time to produce the monolithic OP-TEE core image". Moreover optee-os is not Linux, so it cannot use the Linux libraries as is. Furthermore, optee-os uses patched versions of libraries which are based on newer versions than those provided by Debian. Because of that, it's not possible to remove embedded libraries (in lib/ and core/lib including mbedtls and libtomcrypt) from the optee-os tarball as there is no way to use those provided by Debian packages. [1] https://optee.readthedocs.io/en/latest/architecture/libraries.html#static-vs-shared-libraries -- Dylan Aïssi Mon, 08 Jan 2024 15:04:53 +0100