xenctrl is used at run time in 1 crate (of which 1 optionally).

Depender xenctrl version
microvmi optional =0.6.0