Re: [PULL 23/27] i386: enable rust hpet for pc when rust is enabled

[Zhao Liu]

Hi Paolo,

> --- a/hw/timer/Kconfig
> +++ b/hw/timer/Kconfig
> @@ -11,7 +11,7 @@ config A9_GTIMER
>  
>  config HPET
>      bool
> -    default y if PC
> +    default y if PC && !HAVE_RUST

+
+config X_HPET_RUST
+    bool
+    default y if PC && HAVE_RUST

>  config I8254
>      bool

This patch doesn't enable the configuration option of Rust HPET for PC.

Is it because the Rust HPET would break live migration, so we have to
disable it?

Thanks,
Zhao