diff options
4 files changed, 8 insertions, 4 deletions
diff --git a/resources/libreboot/config/grub/kcma-d8/config b/resources/libreboot/config/grub/kcma-d8/config index a89dfe91..3f99ece1 100644 --- a/resources/libreboot/config/grub/kcma-d8/config +++ b/resources/libreboot/config/grub/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/grub/kgpe-d16/config b/resources/libreboot/config/grub/kgpe-d16/config index 5517293e..32b3ece3 100644 --- a/resources/libreboot/config/grub/kgpe-d16/config +++ b/resources/libreboot/config/grub/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 diff --git a/resources/libreboot/config/seabios/kcma-d8/config b/resources/libreboot/config/seabios/kcma-d8/config index 61cd50d2..b963a43a 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 ea8006cc..fc931cdb 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 |