configs/config.dell_optiplex_9010_sff{_txt}: disable top-down alloc.

Top-down resource allocation causes trouble with iGPU initialization,
leading to a full platform freeze using an OS GUI.

Signed-off-by: Filip Lewiński <[email protected]>

build.sh

@@ -29,8 +29,8 @@ SDKVER="2023-11-24_2731fa619b"
 
 
 function build_optiplex_9010 {
-  DEFCONFIG="configs/config.dell_optiplex_9010_sff_uefi_txt"
-  FW_VERSION=v0.1.0-rc1
+  DEFCONFIG="configs/config.dell_optiplex_9010_sff_txt"
+  FW_VERSION=v0.1.0-rc1_seabios
 
   docker run --rm -t -u $UID -v $PWD:/home/coreboot/coreboot \
     -v $HOME/.ssh:/home/coreboot/.ssh \

configs/config.dell_optiplex_9010_sff

@@ -1,11 +1,17 @@
+CONFIG_LOCALVERSION="v0.1.0"
 CONFIG_USE_OPTION_TABLE=y
-CONFIG_USE_BLOBS=y
 CONFIG_VENDOR_DELL=y
-CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_FMDFILE="src/mainboard/dell/snb_ivb_workstations/default.fmd"
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
-# CONFIG_DRIVERS_UART_8250IO is not set
+CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_PCIEXP_CLK_PM=y
+CONFIG_TPM_MEASURED_BOOT=y
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
+# CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
+# CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
+# CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set
 CONFIG_SEABIOS_USB_SIGATT_TIME=3000
+CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
 CONFIG_SEABIOS_PS2_TIMEOUT=3000
-CONFIG_POST_DEVICE_LPC=y
-CONFIG_HAVE_EM100_SUPPORT=y
+CONFIG_SEABIOS_DEBUG_LEVEL=0

configs/config.dell_optiplex_9010_sff_txt

@@ -1,13 +1,20 @@
+CONFIG_LOCALVERSION="v0.1.0"
+CONFIG_USE_OPTION_TABLE=y
 CONFIG_VENDOR_DELL=y
-CONFIG_CBFS_SIZE=0x400000
+CONFIG_FMDFILE="src/mainboard/dell/snb_ivb_workstations/default.fmd"
 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
-CONFIG_SEABIOS_PS2_TIMEOUT=3000
 CONFIG_BOARD_DELL_OPTIPLEX_9010=y
+CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
 CONFIG_PCIEXP_CLK_PM=y
 CONFIG_TPM_MEASURED_BOOT=y
-CONFIG_HIDE_MEI_ON_ERROR=y
+CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
+# CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
+# CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
+# CONFIG_RESOURCE_ALLOCATION_TOP_DOWN is not set
 CONFIG_INTEL_TXT=y
+CONFIG_INTEL_TXT_LOGGING=y
 CONFIG_INTEL_TXT_BDR_VERSION=4
-CONFIG_POST_DEVICE_LPC=y
 CONFIG_SEABIOS_USB_SIGATT_TIME=3000
 CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
+CONFIG_SEABIOS_PS2_TIMEOUT=3000
+CONFIG_SEABIOS_DEBUG_LEVEL=0