diff options
Diffstat (limited to 'resources/libreboot/config/seabios')
| -rw-r--r-- | resources/libreboot/config/seabios/kcma-d8/config | 3 | ||||
| -rw-r--r-- | resources/libreboot/config/seabios/kgpe-d16/config | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/resources/libreboot/config/seabios/kcma-d8/config b/resources/libreboot/config/seabios/kcma-d8/config index 61cd50d..b963a43 100644 --- a/resources/libreboot/config/seabios/kcma-d8/config +++ b/resources/libreboot/config/seabios/kcma-d8/config @@ -15,7 +15,8 @@ CONFIG_COMPILER_GCC=y # CONFIG_CCACHE is not set # CONFIG_FMD_GENPARSER is not set # CONFIG_SCONFIG_GENPARSER is not set -# CONFIG_USE_OPTION_TABLE is not set +CONFIG_USE_OPTION_TABLE=y +# CONFIG_STATIC_OPTION_TABLE is not set # CONFIG_UNCOMPRESSED_RAMSTAGE is not set CONFIG_COMPRESS_RAMSTAGE=y CONFIG_INCLUDE_CONFIG_FILE=y diff --git a/resources/libreboot/config/seabios/kgpe-d16/config b/resources/libreboot/config/seabios/kgpe-d16/config index ea8006c..fc931cd 100644 --- a/resources/libreboot/config/seabios/kgpe-d16/config +++ b/resources/libreboot/config/seabios/kgpe-d16/config @@ -15,7 +15,8 @@ CONFIG_COMPILER_GCC=y # CONFIG_CCACHE is not set # CONFIG_FMD_GENPARSER is not set # CONFIG_SCONFIG_GENPARSER is not set -# CONFIG_USE_OPTION_TABLE is not set +CONFIG_USE_OPTION_TABLE=y +# CONFIG_STATIC_OPTION_TABLE is not set # CONFIG_UNCOMPRESSED_RAMSTAGE is not set CONFIG_COMPRESS_RAMSTAGE=y CONFIG_INCLUDE_CONFIG_FILE=y |