Hi,
tboot is now in Debian unstable: https://tracker.debian.org/pkg/tboot
If you need a backport for Debian 10, please let me know.
As explained in
https://salsa.debian.org/debian/tboot/-/blob/master/debian/README.Debian
you cannot yet use this with normal kernel packages as they lack
CONFIG_INTEL_TXT=y:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=960195
-Timo
_______________________________________________
tboot-devel mailing list
tboot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/tboot-devel