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 <daissi@debian.org>  Mon, 08 Jan 2024 15:04:53 +0100
