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

Peter Stuge peter at stuge.se
Thu Oct 8 01:02:15 CEST 2009

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.


More information about the coreboot mailing list