Binary: dtc_change_bsd_kernel

Debian packages that has this binary:

Package: dtc-xen

/usr/sbin/dtc_change_bsd_kernel