diff options
Diffstat (limited to 'resources/libreboot/config/grub/kfsn4-dre_2mb')
| -rw-r--r-- | resources/libreboot/config/grub/kfsn4-dre_2mb/config | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/resources/libreboot/config/grub/kfsn4-dre_2mb/config b/resources/libreboot/config/grub/kfsn4-dre_2mb/config index 91f51f4..6b8721a 100644 --- a/resources/libreboot/config/grub/kfsn4-dre_2mb/config +++ b/resources/libreboot/config/grub/kfsn4-dre_2mb/config @@ -8,6 +8,7 @@ # CONFIG_LOCALVERSION="" CONFIG_CBFS_PREFIX="fallback" +# CONFIG_MULTIPLE_CBFS_INSTANCES is not set CONFIG_COMPILER_GCC=y # CONFIG_COMPILER_LLVM_CLANG is not set # CONFIG_ANY_TOOLCHAIN is not set @@ -164,6 +165,7 @@ CONFIG_USBDEBUG_HCD_INDEX=0 CONFIG_TTYS0_LCS=3 CONFIG_CBFS_SIZE=0x200000 CONFIG_CACHE_ROM_SIZE_OVERRIDE=0 +CONFIG_UDELAY_LAPIC_FIXED_FSB=200 CONFIG_POST_DEVICE=y CONFIG_CPU_ADDR_BITS=48 CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8 @@ -215,7 +217,7 @@ CONFIG_HEAP_SIZE=0xc0000 # # CONFIG_CPU_ALLWINNER_A10 is not set CONFIG_DCACHE_BSP_STACK_SIZE=0x4000 -CONFIG_DCACHE_BSP_STACK_SLUSH=0x4000 +CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000 CONFIG_DCACHE_AP_STACK_SIZE=0x400 CONFIG_CPU_SOCKET_TYPE=0x10 # CONFIG_EXT_RT_TBL_SUPPORT is not set @@ -226,11 +228,11 @@ CONFIG_CPU_AMD_SOCKET_F_1207=y CONFIG_DIMM_SUPPORT=0x0104 CONFIG_LIFT_BSP_APIC_ID=y CONFIG_SET_FIDVID=y -CONFIG_UDELAY_LAPIC_FIXED_FSB=200 CONFIG_SET_FIDVID_DEBUG=y # CONFIG_SET_FIDVID_CORE0_ONLY is not set CONFIG_SET_FIDVID_STORE_AP_APICID_AT_FIRST=y CONFIG_CPU_AMD_MODEL_10XXX=y +# CONFIG_USE_LARGE_DCACHE is not set CONFIG_NUM_IPI_STARTS=1 CONFIG_SET_FIDVID_CORE_RANGE=0 # CONFIG_CPU_AMD_AGESA is not set @@ -263,7 +265,6 @@ CONFIG_SUPPORT_CPU_UCODE_IN_CBFS=y # CONFIG_CPU_MICROCODE_CBFS_GENERATE is not set # CONFIG_CPU_MICROCODE_CBFS_EXTERNAL is not set CONFIG_CPU_MICROCODE_CBFS_NONE=y -CONFIG_CPU_MICROCODE_MULTIPLE_FILES=y # # Northbridge @@ -386,7 +387,7 @@ CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG=y # CONFIG_ON_DEVICE_ROM_RUN is not set # CONFIG_MULTIPLE_VGA_ADAPTERS is not set -# CONFIG_SMBUS_HAS_AUX is not set +# CONFIG_SMBUS_HAS_AUX_CHANNELS is not set # CONFIG_SPD_CACHE is not set CONFIG_PCI=y CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT=y |