Re: [RFC 13/13] i386: enable rust hpet for pc when rust is enabled

[Zhao Liu <zhao1.liu@intel.com>]

On Thu, Dec 05, 2024 at 04:20:44PM +0100, Paolo Bonzini wrote:
> Date: Thu, 5 Dec 2024 16:20:44 +0100
> From: Paolo Bonzini <pbonzini@redhat.com>
> Subject: Re: [RFC 13/13] i386: enable rust hpet for pc when rust is enabled
> 
> On 12/5/24 07:07, Zhao Liu wrote:
> > Add HPET configuration in PC's Kconfig options, and select HPET device
> > (Rust version) if Rust is supported.
> > 
> > Signed-off-by: Zhao Liu <zhao1.liu@intel.com>
> > ---
> >   hw/i386/Kconfig       | 2 ++
> >   hw/timer/Kconfig      | 1 -
> >   rust/hw/Kconfig       | 1 +
> >   rust/hw/timer/Kconfig | 2 ++
> >   4 files changed, 5 insertions(+), 1 deletion(-)
> >   create mode 100644 rust/hw/timer/Kconfig
> > 
> > diff --git a/hw/i386/Kconfig b/hw/i386/Kconfig
> > index 32818480d263..83ab3222c4f0 100644
> > --- a/hw/i386/Kconfig
> > +++ b/hw/i386/Kconfig
> > @@ -39,6 +39,8 @@ config PC
> >       select PCSPK
> >       select I8257
> >       select MC146818RTC
> > +    select HPET if !HAVE_RUST
> > +    select X_HPET_RUST if HAVE_RUST
> 
> HPET is optional, so you need to have...

Oops, I didn't realize that.

> >   config HPET
> >       bool
> > -    default y if PC
> 
> +default y if PC && !HAVE_RUST
> 
> with a matching "default y if PC && HAVE_RUST" for X_HPET_RUST.

Thank you!

-Zhao