diff options
Diffstat (limited to 'resources/libreboot/config/grub/kfsn4-dre')
| -rw-r--r-- | resources/libreboot/config/grub/kfsn4-dre/config | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/resources/libreboot/config/grub/kfsn4-dre/config b/resources/libreboot/config/grub/kfsn4-dre/config index c76cf76e..e25dd7a8 100644 --- a/resources/libreboot/config/grub/kfsn4-dre/config +++ b/resources/libreboot/config/grub/kfsn4-dre/config @@ -135,6 +135,7 @@ CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="ASUS" # CONFIG_BOARD_ASUS_F2A85_M_LE is not set # CONFIG_BOARD_ASUS_K8V_X is not set CONFIG_BOARD_ASUS_KFSN4_DRE=y +# CONFIG_BOARD_ASUS_KGPE_D16 is not set # CONFIG_BOARD_ASUS_M2N_E is not set # CONFIG_BOARD_ASUS_M2V_MX_SE is not set # CONFIG_BOARD_ASUS_M2V is not set @@ -213,8 +214,8 @@ CONFIG_HEAP_SIZE=0xc0000 # CPU # # CONFIG_CPU_ALLWINNER_A10 is not set -CONFIG_DCACHE_BSP_STACK_SIZE=0x2000 -CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000 +CONFIG_DCACHE_BSP_STACK_SIZE=0x4000 +CONFIG_DCACHE_BSP_STACK_SLUSH=0x4000 CONFIG_DCACHE_AP_STACK_SIZE=0x400 CONFIG_CPU_SOCKET_TYPE=0x10 # CONFIG_EXT_RT_TBL_SUPPORT is not set @@ -409,6 +410,7 @@ CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 # Generic Drivers # # CONFIG_DRIVERS_AS3722_RTC is not set +CONFIG_DEVICE_SPECIFIC_OPTIONS=y # CONFIG_GIC is not set # CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set # CONFIG_DRIVERS_I2C_RTD2132 is not set @@ -450,7 +452,6 @@ CONFIG_USBDEBUG_DONGLE_STD=y # CONFIG_USBDEBUG_DONGLE_FTDI_FT232H is not set CONFIG_USBDEBUG_OPTIONAL_HUB_PORT=0 CONFIG_DRIVERS_XGI_Z79_COMMON=y -CONFIG_DEVICE_SPECIFIC_OPTIONS=y CONFIG_DRIVERS_XGI_Z9S=y # CONFIG_DRIVER_XPOWERS_AXP209 is not set CONFIG_RTC=y @@ -499,6 +500,9 @@ CONFIG_POST_IO=y CONFIG_POST_IO_PORT=0x80 # CONFIG_HAVE_ACPI_RESUME is not set 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=y # CONFIG_GENERIC_UDELAY is not set # CONFIG_TIMER_QUEUE is not set |