Skip to content

Commit de0bc75

Browse files
authored
Merge pull request #1743 from tlaurion/fix_top_down_allocation_up_to_haswell
coreboot 24.02.04: Fix top down allocation for platforms up to Haswell
2 parents 27d09d4 + e638217 commit de0bc75

13 files changed

Lines changed: 142 additions & 12 deletions

config/coreboot-t420-maximized.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -257,7 +257,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
257257
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
258258
CONFIG_SERIRQ_CONTINUOUS_MODE=y
259259
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
260+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261261
CONFIG_EHCI_BAR=0xfef00000
262262
CONFIG_ACPI_CPU_STRING="CP%02X"
263263
CONFIG_STACK_SIZE=0x2000

config/coreboot-t430-maximized.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -257,7 +257,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
257257
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
258258
CONFIG_SERIRQ_CONTINUOUS_MODE=y
259259
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
260+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261261
CONFIG_EHCI_BAR=0xfef00000
262262
CONFIG_ACPI_CPU_STRING="CP%02X"
263263
CONFIG_STACK_SIZE=0x2000

config/coreboot-t440p.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ CONFIG_SMM_RESERVED_SIZE=0x100000
255255
CONFIG_SMM_MODULE_STACK_SIZE=0x400
256256
CONFIG_SERIRQ_CONTINUOUS_MODE=y
257257
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x4000
258-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
258+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
259259
CONFIG_EHCI_BAR=0xe8000000
260260
CONFIG_ACPI_CPU_STRING="CP%02X"
261261
CONFIG_STACK_SIZE=0x2000

config/coreboot-t530-maximized.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -257,7 +257,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
257257
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
258258
CONFIG_SERIRQ_CONTINUOUS_MODE=y
259259
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
260+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261261
CONFIG_EHCI_BAR=0xfef00000
262262
CONFIG_ACPI_CPU_STRING="CP%02X"
263263
CONFIG_STACK_SIZE=0x2000

config/coreboot-w530-maximized.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -260,7 +260,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
260260
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
261261
CONFIG_SERIRQ_CONTINUOUS_MODE=y
262262
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
263-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
263+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
264264
CONFIG_EHCI_BAR=0xfef00000
265265
CONFIG_ACPI_CPU_STRING="CP%02X"
266266
CONFIG_STACK_SIZE=0x2000

config/coreboot-w541.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ CONFIG_SMM_RESERVED_SIZE=0x100000
255255
CONFIG_SMM_MODULE_STACK_SIZE=0x400
256256
CONFIG_SERIRQ_CONTINUOUS_MODE=y
257257
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x4000
258-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
258+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
259259
CONFIG_EHCI_BAR=0xe8000000
260260
CONFIG_ACPI_CPU_STRING="CP%02X"
261261
CONFIG_STACK_SIZE=0x2000

config/coreboot-x220-maximized.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -257,7 +257,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
257257
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
258258
CONFIG_SERIRQ_CONTINUOUS_MODE=y
259259
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
260-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
260+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
261261
CONFIG_EHCI_BAR=0xfef00000
262262
CONFIG_ACPI_CPU_STRING="CP%02X"
263263
CONFIG_STACK_SIZE=0x2000

config/coreboot-x230-legacy-flash.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
255255
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
256256
CONFIG_SERIRQ_CONTINUOUS_MODE=y
257257
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
258-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
258+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
259259
CONFIG_EHCI_BAR=0xfef00000
260260
CONFIG_ACPI_CPU_STRING="CP%02X"
261261
CONFIG_STACK_SIZE=0x2000

config/coreboot-x230-legacy.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
255255
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
256256
CONFIG_SERIRQ_CONTINUOUS_MODE=y
257257
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
258-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
258+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
259259
CONFIG_EHCI_BAR=0xfef00000
260260
CONFIG_ACPI_CPU_STRING="CP%02X"
261261
CONFIG_STACK_SIZE=0x2000

config/coreboot-x230-maximized-fhd_edp.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -258,7 +258,7 @@ CONFIG_SMM_MODULE_STACK_SIZE=0x400
258258
# CONFIG_USE_EXP_X86_64_SUPPORT is not set
259259
CONFIG_SERIRQ_CONTINUOUS_MODE=y
260260
CONFIG_PRERAM_CBFS_CACHE_SIZE=0x0
261-
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
261+
CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xf0000000
262262
CONFIG_EHCI_BAR=0xfef00000
263263
CONFIG_ACPI_CPU_STRING="CP%02X"
264264
CONFIG_STACK_SIZE=0x2000

0 commit comments

Comments
 (0)