diff options
Diffstat (limited to 'resources/libreboot/config/grub/t400_4mb')
| -rw-r--r-- | resources/libreboot/config/grub/t400_4mb/config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/libreboot/config/grub/t400_4mb/config b/resources/libreboot/config/grub/t400_4mb/config index e28685e..9058be2 100644 --- a/resources/libreboot/config/grub/t400_4mb/config +++ b/resources/libreboot/config/grub/t400_4mb/config @@ -440,6 +440,9 @@ CONFIG_POST_IO=y CONFIG_POST_IO_PORT=0x80 CONFIG_HAVE_ACPI_RESUME=y CONFIG_HAVE_HARD_RESET=y +# CONFIG_HAVE_ROMSTAGE_CONSOLE_SPINLOCK is not set +# CONFIG_HAVE_ROMSTAGE_NVRAM_CBFS_SPINLOCK is not set +# CONFIG_HAVE_ROMSTAGE_MICROCODE_CBFS_SPINLOCK is not set # CONFIG_HAVE_MONOTONIC_TIMER is not set CONFIG_HAVE_OPTION_TABLE=y # CONFIG_PIRQ_ROUTE is not set |