{
    $OUT = '';

    return unless -d "/proc/xen" && ! -f "/proc/xen/xsd_kva";
    $OUT .= "xvc0";
}
