The text 00adf08b73b7, as Debian 10 (Buster) shipped it.
device driver TCTI library
tss2-tcti-device(7) on Linux now
