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