@@ -140,6 +140,7 @@ linux_aio=""
attr=""
vhost_net=""
xfs=""
+hpet_driftfix="no"
gprof="no"
debug_tcg="no"
@@ -749,6 +750,10 @@ for opt do
;;
--enable-rbd) rbd="yes"
;;
+ --disable-hpet-driftfix) hpet_driftfix="no"
+ ;;
+ --enable-hpet-driftfix) hpet_driftfix="yes"
+ ;;
*) echo "ERROR: unknown option $opt"; show_help="yes"
;;
esac
@@ -2602,6 +2607,7 @@ echo "Trace output file $trace_file-<pid
echo "spice support $spice"
echo "rbd support $rbd"
echo "xfsctl support $xfs"
+echo "HPET drift fix $hpet_driftfix"
if test $sdl_too_old = "yes"; then
echo "-> Your SDL version is too old - please upgrade to have SDL support"
@@ -2893,6 +2899,10 @@ if test "$rbd" = "yes" ; then
echo "CONFIG_RBD=y" >> $config_host_mak
fi
+if test "$hpet_driftfix" = "yes" ; then
+ echo "CONFIG_HPET_DRIFTFIX=y" >> $config_host_mak
+fi
+
# USB host support
case "$usb" in
linux)