tdx-guest is used at run time in 2 crates (of which 2 optionally).

Depender (with downloads and own rev deps) tdx-guest version
800 linux-bzimage-setup optional ^0.2.1
750 3 ostd optional ^0.2.1