On 2/17/25 12:03, Zhao Liu wrote:
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
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 do
From: Zhao Liu
Add HPET configuration in PC's Kconfig options, and select HPET device
(Rust version) if Rust is supported.
Signed-off-by: Zhao Liu
Link: https://lore.kernel.org/r/20250210030051.2562726-11-zhao1@intel.com
Signed-off-by: Paolo Bonzini
---
configs/devices/i386-softmmu/defaul