diff options
Diffstat (limited to 'resources/libreboot/config/x200_4mb/config')
| -rw-r--r-- | resources/libreboot/config/x200_4mb/config | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/libreboot/config/x200_4mb/config b/resources/libreboot/config/x200_4mb/config index bf263436..95056e55 100644 --- a/resources/libreboot/config/x200_4mb/config +++ b/resources/libreboot/config/x200_4mb/config @@ -205,6 +205,10 @@ CONFIG_ARCH_BOOTBLOCK_X86_32=y CONFIG_ARCH_VERSTAGE_X86_32=y CONFIG_ARCH_ROMSTAGE_X86_32=y CONFIG_ARCH_RAMSTAGE_X86_32=y +# CONFIG_ARCH_BOOTBLOCK_X86_64 is not set +# CONFIG_ARCH_VERSTAGE_X86_64 is not set +# CONFIG_ARCH_ROMSTAGE_X86_64 is not set +# CONFIG_ARCH_RAMSTAGE_X86_64 is not set # CONFIG_AP_IN_SIPI_WAIT is not set # CONFIG_SIPI_VECTOR_IN_ROM is not set CONFIG_NUM_IPI_STARTS=2 |