diff options
Diffstat (limited to 'resources/libreboot/config/grub/x200_4mb')
-rw-r--r-- | resources/libreboot/config/grub/x200_4mb/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libreboot/config/grub/x200_4mb/config b/resources/libreboot/config/grub/x200_4mb/config index 1fb63453..45829ed0 100644 --- a/resources/libreboot/config/grub/x200_4mb/config +++ b/resources/libreboot/config/grub/x200_4mb/config @@ -16,7 +16,7 @@ CONFIG_COMPILER_GCC=y # CONFIG_FMD_GENPARSER is not set # CONFIG_SCONFIG_GENPARSER is not set CONFIG_USE_OPTION_TABLE=y -# CONFIG_STATIC_OPTION_TABLE is not set +CONFIG_STATIC_OPTION_TABLE=y # CONFIG_UNCOMPRESSED_RAMSTAGE is not set CONFIG_COMPRESS_RAMSTAGE=y # CONFIG_COMPRESS_PRERAM_STAGES is not set |