optee-os_4.10.0-1.debian.tar.xz
optee-os_4.10.0-1.dsc
optee-os_4.10.0.orig.tar.gz