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

[Myles Watson]

On Wed, Oct 7, 2009 at 4:46 PM, Peter Stuge  wrote:
> 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.  Right now HAVE_ACPI_TABLES
defaults to 'n' in the s2881.

Is there another way?

Thanks,
Myles