diff options
Diffstat (limited to 'resources/libreboot/config/grub/x200_8mb')
| -rw-r--r-- | resources/libreboot/config/grub/x200_8mb/config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/libreboot/config/grub/x200_8mb/config b/resources/libreboot/config/grub/x200_8mb/config index a82c4f14..0d433e6e 100644 --- a/resources/libreboot/config/grub/x200_8mb/config +++ b/resources/libreboot/config/grub/x200_8mb/config @@ -430,6 +430,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 |