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

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