[coreboot] Kconfig QA again [was: tyan s2881 with seabios and gpxe]
Myles Watson
mylesgw at gmail.com
Thu Oct 8 00:53:17 CEST 2009
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
More information about the coreboot
mailing list