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

[Myles Watson]

On Wed, Oct 7, 2009 at 4:46 PM, Peter Stuge <peter at stuge.se> 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