[coreboot] Kconfig QA again [was: tyan s2881 with seabios and gpxe]
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