PN: optee-os PV: 3.17.0+gitAUTOINC+f9e550142d PR: r0 PKGV: 3.17.0+git0+f9e550142d PKGR: r0 LICENSE: BSD DESCRIPTION_optee-os-dbg: Open Portable Trusted Execution Environment - Trusted side of the TEE This package contains ELF symbols and related sources for debugging purposes. SUMMARY_optee-os-dbg: OP-TEE Trusted OS - Debugging files SECTION_optee-os-dbg: devel PKG_optee-os-dbg: optee-os-dbg ALLOW_EMPTY_optee-os-dbg: 1 FILES_optee-os-dbg: /usr/lib/debug /usr/lib/debug-static /usr/src/debug FILES_INFO: {} PKGSIZE_optee-os-dbg: 0