diff options
Diffstat (limited to 'resources/libreboot/config/t500_4mb')
| -rw-r--r-- | resources/libreboot/config/t500_4mb/config | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/libreboot/config/t500_4mb/config b/resources/libreboot/config/t500_4mb/config index 2f283fb2..e864cac4 100644 --- a/resources/libreboot/config/t500_4mb/config +++ b/resources/libreboot/config/t500_4mb/config @@ -207,6 +207,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 |