Re: [coreboot] Kconfig QA again [was: tyan s2881 with seabios and gpxe]

[Peter Stuge]

Myles Watson wrote:
> > > The Tyan s2881 doesn't have ACPI support.
> >
> > Each board should indicate this, so that the menu does not show
> > options which are known to not work.
>
> Absolutely agreed.  I think there will have to be another variable
> like HAS_ACPI_SUPPORT for that to happen.

How about simply ACPI?
> Right now HAVE_ACPI_TABLES defaults to 'n' in the s2881.
>
> Is there another way?

I don't think so, but I think it's fine to add CONFIG_ACPI for this.

//Peter