PACKAGES: optee-os-src optee-os-dbg optee-os-staticdev optee-os-dev optee-os-doc optee-os-locale optee-os optee-os-ta
