sravan/system76-firmware-open
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update coreboot and configs

Browse Source
This commit is contained in:
Jeremy Soller
2020-07-20 11:59:25 -06:00
committed by Jeremy Soller
parent 9ee2150d43
commit 5ec324d0e7
13 changed files with 298 additions and 233 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
coreboot

Submodule coreboot updated: 9e729e44a8...d563135d4b

44
models/addw2/coreboot.config
View File

@@ -21,13 +21,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -70,6 +71,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -96,17 +98,18 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9bc4.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="src/mainboard/$(MAINBOARDDIR)/data.vbt"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -134,11 +137,11 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HEAP_SIZE=0x8000
# CONFIG_POST_DEVICE is not set
CONFIG_BOARD_SYSTEM76_ADDW2=y
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -198,15 +201,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -216,7 +222,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -232,7 +237,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=4
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -266,6 +270,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -293,8 +298,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -384,7 +387,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -454,6 +456,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD=y
#
# Intel Firmware
@@ -470,9 +473,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -486,10 +491,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
@@ -542,12 +545,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -617,17 +620,20 @@ CONFIG_DRIVERS_I2C_TAS5825M=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -643,13 +649,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -660,6 +666,7 @@ CONFIG_DRIVERS_SYSTEM76_DGPU=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -738,7 +745,6 @@ CONFIG_HAVE_MONOTONIC_TIMER=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

46
models/darp5/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,18 +100,19 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_VARIANT_DIR="darp5"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,3ea0.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="darp5"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE="variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -137,12 +140,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -202,15 +205,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -220,7 +226,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CoffeeLakeFspBinPkg/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CoffeeLakeFspBinPkg/Fsp.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -269,6 +273,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -296,8 +301,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -387,7 +390,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -457,6 +459,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD=y
#
# Intel Firmware
@@ -473,9 +476,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -489,10 +494,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -547,12 +550,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -622,17 +625,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -648,13 +654,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -665,6 +671,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -743,7 +750,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

46
models/darp6/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,18 +100,19 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_VARIANT_DIR="darp6"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9b41.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="darp6"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE="variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -137,12 +140,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -202,15 +205,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -220,7 +226,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -269,6 +273,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -296,8 +301,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -387,7 +390,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -457,6 +459,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD=y
#
# Intel Firmware
@@ -473,9 +476,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -489,10 +494,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -547,12 +550,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -622,17 +625,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -648,13 +654,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -665,6 +671,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -743,7 +750,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

43
models/galp2/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,19 +100,20 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0x600000
CONFIG_VARIANT_DIR="galp2"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,5916.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="galp2"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
CONFIG_CBFS_SIZE=0x600000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_ME_CLEANER_ARGS="-S"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -141,12 +144,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x80000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -206,15 +209,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe030000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=120
CONFIG_X86_RESET_VECTOR=0xfffffff0
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
CONFIG_STACK_SIZE=0x1000
@@ -223,7 +229,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/KabylakeFspBinPkg/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/KabylakeFspBinPkg/Fsp.fd"
# CONFIG_NHLT_MAX98357 is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=2
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
# CONFIG_NHLT_MAX98373 is not set
CONFIG_MAX_ROOT_PORTS=24
@@ -274,6 +278,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -301,7 +306,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -394,7 +398,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
CONFIG_TSC_SYNC_MFENCE=y
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -484,9 +487,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
CONFIG_UDK_2015_BINDING=y
# CONFIG_UDK_2017_BINDING is not set
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2015
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -500,10 +505,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -558,12 +561,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -631,11 +634,13 @@ CONFIG_DRIVERS_I2C_DESIGNWARE=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
@@ -657,13 +662,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -674,6 +679,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -751,7 +757,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

43
models/galp3-b/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,19 +100,20 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0x600000
CONFIG_VARIANT_DIR="galp3-b"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,5917.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="galp3-b"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
CONFIG_CBFS_SIZE=0x600000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_ME_CLEANER_ARGS="-S"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -141,12 +144,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x80000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -206,15 +209,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe030000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=120
CONFIG_X86_RESET_VECTOR=0xfffffff0
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
CONFIG_STACK_SIZE=0x1000
@@ -223,7 +229,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/KabylakeFspBinPkg/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/KabylakeFspBinPkg/Fsp.fd"
# CONFIG_NHLT_MAX98357 is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=2
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
# CONFIG_NHLT_MAX98373 is not set
CONFIG_MAX_ROOT_PORTS=24
@@ -274,6 +278,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -301,7 +306,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -394,7 +398,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
CONFIG_TSC_SYNC_MFENCE=y
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -484,9 +487,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
CONFIG_UDK_2015_BINDING=y
# CONFIG_UDK_2017_BINDING is not set
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2015
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -500,10 +505,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -558,12 +561,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -631,11 +634,13 @@ CONFIG_DRIVERS_I2C_DESIGNWARE=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
@@ -657,13 +662,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -674,6 +679,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -751,7 +757,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

46
models/galp3-c/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,18 +100,19 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_VARIANT_DIR="galp3-c"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,3ea0.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="galp3-c"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE="variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -137,12 +140,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -202,15 +205,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -220,7 +226,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CoffeeLakeFspBinPkg/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CoffeeLakeFspBinPkg/Fsp.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -269,6 +273,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -296,8 +301,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -387,7 +390,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -457,6 +459,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
# CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD is not set
#
# Intel Firmware
@@ -473,9 +476,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -489,10 +494,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -547,12 +550,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -622,17 +625,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -648,13 +654,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -665,6 +671,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -743,7 +750,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

43
models/galp3/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,19 +100,20 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0x600000
CONFIG_VARIANT_DIR="galp3"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,5917.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="galp3"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
CONFIG_CBFS_SIZE=0x600000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_ME_CLEANER_ARGS="-S"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -141,12 +144,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x80000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -206,15 +209,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe030000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=120
CONFIG_X86_RESET_VECTOR=0xfffffff0
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
CONFIG_STACK_SIZE=0x1000
@@ -223,7 +229,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/KabylakeFspBinPkg/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/KabylakeFspBinPkg/Fsp.fd"
# CONFIG_NHLT_MAX98357 is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=2
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
# CONFIG_NHLT_MAX98373 is not set
CONFIG_MAX_ROOT_PORTS=24
@@ -274,6 +278,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -301,7 +306,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -394,7 +398,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
CONFIG_TSC_SYNC_MFENCE=y
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -484,9 +487,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
CONFIG_UDK_2015_BINDING=y
# CONFIG_UDK_2017_BINDING is not set
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2015
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -500,10 +505,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -558,12 +561,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -631,11 +634,13 @@ CONFIG_DRIVERS_I2C_DESIGNWARE=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
@@ -657,13 +662,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -674,6 +679,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -751,7 +757,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

46
models/galp4/coreboot.config
View File

@@ -23,13 +23,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -72,6 +73,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -98,18 +100,19 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_VARIANT_DIR="galp4"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9b41.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_VARIANT_DIR="galp4"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE="variants/$(CONFIG_VARIANT_DIR)/overridetree.cb"
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -137,12 +140,12 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
CONFIG_PXE_ROM_ID="10ec,8168"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_CONSOLE_POST=y
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
CONFIG_BOARD_SYSTEM76_GALP4=y
@@ -202,15 +205,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -220,7 +226,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -236,7 +241,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -269,6 +273,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -296,8 +301,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -387,7 +390,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -457,6 +459,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
# CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD is not set
#
# Intel Firmware
@@ -473,9 +476,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -489,10 +494,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -547,12 +550,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -622,17 +625,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -648,13 +654,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -665,6 +671,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -743,7 +750,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

44
models/gaze15/coreboot.config
View File

@@ -21,13 +21,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -70,6 +71,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -96,17 +98,18 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9bc4.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="src/mainboard/$(MAINBOARDDIR)/data.vbt"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -131,11 +134,11 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HEAP_SIZE=0x8000
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -195,15 +198,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -213,7 +219,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -229,7 +234,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=4
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -263,6 +267,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -290,8 +295,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -381,7 +384,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -451,6 +453,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD=y
#
# Intel Firmware
@@ -467,9 +470,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -483,10 +488,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
@@ -536,12 +539,12 @@ CONFIG_CARDBUS_PLUGIN_SUPPORT=y
CONFIG_PCIEXP_PLUGIN_SUPPORT=y
# CONFIG_PCIEXP_HOTPLUG is not set
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -611,17 +614,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -637,13 +643,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -654,6 +660,7 @@ CONFIG_DRIVERS_SYSTEM76_DGPU=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -732,7 +739,6 @@ CONFIG_HAVE_MONOTONIC_TIMER=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

44
models/lemp9/coreboot.config
View File

@@ -21,13 +21,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -70,6 +71,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -96,17 +98,18 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9b41.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="$(FIRMWARE_OPEN_MODEL_DIR)/vbt.rom"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -131,11 +134,11 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HEAP_SIZE=0x8000
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -195,15 +198,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -213,7 +219,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -229,7 +234,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=6
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -262,6 +266,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -289,8 +294,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -380,7 +383,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -450,6 +452,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
# CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD is not set
#
# Intel Firmware
@@ -466,9 +469,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -482,10 +487,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
@@ -535,12 +538,12 @@ CONFIG_CARDBUS_PLUGIN_SUPPORT=y
CONFIG_PCIEXP_PLUGIN_SUPPORT=y
# CONFIG_PCIEXP_HOTPLUG is not set
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -610,17 +613,20 @@ CONFIG_DRIVERS_I2C_HID=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -636,13 +642,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -653,6 +659,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -731,7 +738,6 @@ CONFIG_HAVE_MONOTONIC_TIMER=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

44
models/oryp6/coreboot.config
View File

@@ -21,13 +21,14 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_TIMESTAMPS_ON_CONSOLE is not set
CONFIG_USE_BLOBS=y
# CONFIG_USE_AMD_BLOBS is not set
# CONFIG_USE_QC_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
# CONFIG_NO_STAGE_CACHE is not set
CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -70,6 +71,7 @@ CONFIG_TSEG_STAGE_CACHE=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -96,17 +98,18 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="System76"
CONFIG_ONBOARD_VGA_IS_PRIMARY=y
# CONFIG_VGA_BIOS is not set
CONFIG_CBFS_SIZE=0xA00000
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="pci8086,9bc4.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0xC000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="System76"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_INTEL_GMA_VBT_FILE="src/mainboard/$(MAINBOARDDIR)/data.vbt"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xe00
CONFIG_CBFS_SIZE=0xA00000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_BOOT_DEVICE_SPI_FLASH_BUS=0
CONFIG_UART_FOR_CONSOLE=2
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_DCACHE_RAM_BASE=0xfef00000
CONFIG_DCACHE_RAM_SIZE=0x40000
@@ -134,11 +137,11 @@ CONFIG_FSP_S_CBFS="fsps.bin"
CONFIG_FSP_M_CBFS="fspm.bin"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
CONFIG_HEAP_SIZE=0x8000
CONFIG_PCIEXP_CLK_PM=y
CONFIG_CONSOLE_POST=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HEAP_SIZE=0x8000
# CONFIG_POST_DEVICE is not set
# CONFIG_BOARD_SYSTEM76_ADDW2 is not set
# CONFIG_BOARD_SYSTEM76_GALP4 is not set
@@ -198,15 +201,18 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
# SoC
#
CONFIG_CPU_SPECIFIC_OPTIONS=y
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_CONSOLE_UART_BASE_ADDRESS=0xfe032000
CONFIG_SMM_TSEG_SIZE=0x800000
CONFIG_SMM_RESERVED_SIZE=0x200000
CONFIG_SMM_MODULE_STACK_SIZE=0x800
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_DRIVERS_I2C_DESIGNWARE_CLOCK_MHZ=216
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_FSP_TEMP_RAM_SIZE=0x10000
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
@@ -216,7 +222,6 @@ CONFIG_STACK_SIZE=0x1000
CONFIG_PCR_BASE_ADDRESS=0xfd000000
CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_CLOCK_MHZ=120
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_FSP_HEADER_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/Include/"
CONFIG_FSP_FD_PATH="3rdparty/fsp/CometLakeFspBinPkg/CometLake1/FSP.fd"
# CONFIG_NHLT_DMIC_1CH_16B is not set
@@ -232,7 +237,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI_MAX=3
CONFIG_SOC_INTEL_I2C_DEV_MAX=4
CONFIG_PCIEXP_ASPM=y
CONFIG_PCIEXP_COMMON_CLOCK=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_IED_REGION_SIZE=0x400000
CONFIG_SOC_INTEL_CANNONLAKE_BASE=y
CONFIG_SOC_INTEL_CANNONLAKE_ALTERNATE_HEADERS=y
@@ -266,6 +270,7 @@ CONFIG_INTEL_CAR_NEM_ENHANCED=y
# CONFIG_USE_INTEL_FSP_MP_INIT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_CSE=y
CONFIG_SOC_INTEL_COMMON_BLOCK_DSP=y
# CONFIG_SOC_INTEL_COMMON_BLOCK_DTT is not set
CONFIG_SOC_INTEL_COMMON_BLOCK_FAST_SPI=y
CONFIG_FAST_SPI_DISABLE_WRITE_STATUS=y
CONFIG_SOC_INTEL_COMMON_BLOCK_GPIO=y
@@ -293,8 +298,6 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_PMC=y
CONFIG_PMC_GLOBAL_RESET_ENABLE_LOCK=y
CONFIG_SOC_INTEL_COMMON_BLOCK_POWER_LIMIT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
CONFIG_SOC_AHCI_PORT_IMPLEMENTED_INVERT=y
CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
# CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
@@ -384,7 +387,6 @@ CONFIG_UDELAY_TSC=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
CONFIG_NO_FIXED_XIP_ROM_SIZE=y
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -454,6 +456,7 @@ CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
# CONFIG_EC_GOOGLE_CHROMEEC_SKUID is not set
# CONFIG_EC_GOOGLE_WILCO is not set
CONFIG_EC_SYSTEM76_EC=y
CONFIG_EC_SYSTEM76_EC_COLOR_KEYBOARD=y
#
# Intel Firmware
@@ -470,9 +473,11 @@ CONFIG_UNLOCK_FLASH_REGIONS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
CONFIG_UDK_2017_BINDING=y
# CONFIG_UDK_202005_BINDING is not set
CONFIG_UDK_2013_VERSION=2013
CONFIG_UDK_2015_VERSION=2015
CONFIG_UDK_2017_VERSION=2017
CONFIG_UDK_202005_VERSION=202005
CONFIG_UDK_VERSION=2017
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
@@ -486,10 +491,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
@@ -542,12 +545,12 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_INTEL_GMA_HAVE_VBT=y
CONFIG_INTEL_GMA_ADD_VBT=y
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -617,17 +620,20 @@ CONFIG_DRIVERS_I2C_TAS5825M=y
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
CONFIG_FSP_USE_REPO=y
# CONFIG_DISPLAY_HOBS is not set
# CONFIG_DISPLAY_UPD_DATA is not set
CONFIG_PLATFORM_USES_FSP2_0=y
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
CONFIG_HAVE_INTEL_FSP_REPO=y
# CONFIG_FSP_CAR is not set
# CONFIG_FSP_T_XIP is not set
CONFIG_FSP_USES_CB_STACK=y
CONFIG_HAVE_FSP_LOGO_SUPPORT=y
# CONFIG_FSP2_0_DISPLAY_LOGO is not set
CONFIG_FSP_COMPRESS_FSP_S_LZMA=y
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -643,13 +649,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
@@ -660,6 +666,7 @@ CONFIG_DRIVERS_SYSTEM76_DGPU=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -738,7 +745,6 @@ CONFIG_HAVE_MONOTONIC_TIMER=y
CONFIG_IOAPIC=y
# CONFIG_USE_WATCHDOG_ON_BOOT is not set
# CONFIG_GFXUMA is not set
CONFIG_COMMON_FADT=y
CONFIG_ACPI_NHLT=y
#

40
models/qemu/coreboot.config
View File

@@ -23,11 +23,11 @@ CONFIG_COLLECT_TIMESTAMPS=y
# CONFIG_USE_BLOBS is not set
# CONFIG_COVERAGE is not set
# CONFIG_UBSAN is not set
CONFIG_RELOCATABLE_RAMSTAGE=y
CONFIG_NO_STAGE_CACHE=y
# CONFIG_CBMEM_STAGE_CACHE is not set
# CONFIG_UPDATE_IMAGE is not set
# CONFIG_BOOTSPLASH_IMAGE is not set
# CONFIG_FW_CONFIG is not set
#
# Mainboard
@@ -70,6 +70,7 @@ CONFIG_VENDOR_EMULATION=y
# CONFIG_VENDOR_PACKARDBELL is not set
# CONFIG_VENDOR_PCENGINES is not set
# CONFIG_VENDOR_PORTWELL is not set
# CONFIG_VENDOR_PRODRIVE is not set
# CONFIG_VENDOR_PROTECTLI is not set
# CONFIG_VENDOR_PURISM is not set
# CONFIG_VENDOR_RAZER is not set
@@ -96,12 +97,12 @@ CONFIG_FMDFILE=""
CONFIG_MAINBOARD_VENDOR="Emulation"
# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
CONFIG_VGA_BIOS=y
CONFIG_CBFS_SIZE=0x800000
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_VGA_BIOS_FILE="${FIRMWARE_OPEN_MODEL_DIR}/vga.rom"
CONFIG_C_ENV_BOOTBLOCK_SIZE=0x4000
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Emulation"
CONFIG_DEVICETREE="devicetree.cb"
CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
CONFIG_CBFS_SIZE=0x800000
# CONFIG_POST_IO is not set
CONFIG_OVERRIDE_DEVICETREE=""
CONFIG_UART_FOR_CONSOLE=2
@@ -113,6 +114,7 @@ CONFIG_BOARD_EMULATION_QEMU_X86_Q35=y
# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV64 is not set
# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV32 is not set
# CONFIG_BOARD_EMULATION_SPIKE_RISCV is not set
CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
# CONFIG_VBOOT is not set
CONFIG_VBOOT_VBNV_OFFSET=0x2c
CONFIG_DCACHE_RAM_BASE=0x10000
@@ -131,11 +133,11 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x10000000
CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="QEMU x86 q35/ich9"
CONFIG_PS2K_EISAID="PNP0303"
CONFIG_PS2M_EISAID="PNP0F13"
CONFIG_DRIVERS_UART_8250IO=y
# CONFIG_PCIEXP_L1_SUB_STATE is not set
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x03
CONFIG_HEAP_SIZE=0x4000
# CONFIG_PCIEXP_CLK_PM is not set
# CONFIG_CONSOLE_POST is not set
CONFIG_DRIVERS_UART_8250IO=y
CONFIG_HEAP_SIZE=0x4000
CONFIG_POST_DEVICE=y
CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
@@ -176,21 +178,23 @@ CONFIG_MAINBOARD_POWER_FAILURE_STATE=0
#
# SoC
#
CONFIG_CPU_ADDR_BITS=36
CONFIG_X86_RESET_VECTOR=0xfffffff0
CONFIG_ROMSTAGE_ADDR=0x2000000
CONFIG_VERSTAGE_ADDR=0x2000000
CONFIG_RAMBASE=0xe00000
CONFIG_CPU_ADDR_BITS=36
# CONFIG_VGA_BIOS_SECOND is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
CONFIG_EHCI_BAR=0xfef00000
CONFIG_ACPI_CPU_STRING="\\_SB.CP%02d"
CONFIG_X86_RESET_VECTOR=0xfffffff0
# CONFIG_SOC_CAVIUM_CN81XX is not set
CONFIG_ARCH_ARMV8_EXTENSION=0
CONFIG_STACK_SIZE=0x1000
# CONFIG_SOC_CAVIUM_COMMON is not set
# CONFIG_SOC_INTEL_GLK is not set
CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
CONFIG_ROMSTAGE_ADDR=0x2000000
# CONFIG_PCIEXP_ASPM is not set
# CONFIG_PCIEXP_COMMON_CLOCK is not set
# CONFIG_PCIEXP_CLK_PM is not set
CONFIG_TTYS0_BASE=0x3e8
CONFIG_TTYS0_LCS=3
CONFIG_UART_PCI_ADDR=0x0
@@ -229,8 +233,6 @@ CONFIG_UNKNOWN_TSC_RATE=y
CONFIG_TSC_MONOTONIC_TIMER=y
# CONFIG_TSC_SYNC_LFENCE is not set
# CONFIG_TSC_SYNC_MFENCE is not set
# CONFIG_NO_FIXED_XIP_ROM_SIZE is not set
CONFIG_XIP_ROM_SIZE=0x10000
CONFIG_LOGICAL_CPUS=y
CONFIG_HAVE_SMI_HANDLER=y
# CONFIG_NO_SMM is not set
@@ -303,6 +305,7 @@ CONFIG_MAINBOARD_HAS_CHROMEOS=y
# CONFIG_UEFI_2_4_BINDING is not set
# CONFIG_UDK_2015_BINDING is not set
# CONFIG_UDK_2017_BINDING is not set
# CONFIG_UDK_202005_BINDING is not set
# CONFIG_USE_SIEMENS_HWILIB is not set
# CONFIG_ARM_LPAE is not set
CONFIG_ARCH_X86=y
@@ -315,10 +318,8 @@ CONFIG_ARCH_RAMSTAGE_X86_32=y
# CONFIG_USE_MARCH_586 is not set
# CONFIG_AP_IN_SIPI_WAIT is not set
# CONFIG_SIPI_VECTOR_IN_ROM is not set
CONFIG_RAMBASE=0xe00000
CONFIG_RAMTOP=0x1000000
CONFIG_NUM_IPI_STARTS=2
# CONFIG_CBMEM_TOP_BACKUP is not set
CONFIG_PC80_SYSTEM=y
# CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
CONFIG_HAVE_CMOS_DEFAULT=y
@@ -372,12 +373,11 @@ CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G=y
# CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G is not set
CONFIG_PCIEXP_HOTPLUG_IO=0x2000
# CONFIG_EARLY_PCI_BRIDGE is not set
# CONFIG_VGA_BIOS_SECOND is not set
# CONFIG_CHECK_REV_IN_OPROM_NAME is not set
# CONFIG_VGA_BIOS_DGPU is not set
# CONFIG_SOFTWARE_I2C is not set
# CONFIG_RESOURCE_ALLOCATOR_V3 is not set
CONFIG_RESOURCE_ALLOCATOR_V4=y
# CONFIG_XHCI_UTILS is not set
#
# Generic Drivers
@@ -433,8 +433,10 @@ CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_YRES=768
# CONFIG_MAINBOARD_HAS_I2C_TPM_ATMEL is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_CR50 is not set
# CONFIG_MAINBOARD_HAS_I2C_TPM_GENERIC is not set
# CONFIG_DRIVERS_INTEL_DPTF is not set
# CONFIG_PLATFORM_USES_FSP2_0 is not set
# CONFIG_PLATFORM_USES_FSP2_1 is not set
# CONFIG_PLATFORM_USES_FSP2_2 is not set
# CONFIG_INTEL_DDI is not set
# CONFIG_INTEL_EDID is not set
# CONFIG_INTEL_INT15 is not set
@@ -450,13 +452,13 @@ CONFIG_INTEL_GMA_BCLM_WIDTH=16
# CONFIG_HAVE_INTEL_PTT is not set
# CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
# CONFIG_DRIVER_MAXIM_MAX77686 is not set
CONFIG_FRU_DEVICE_ID=0
# CONFIG_DRIVER_PARADE_PS8625 is not set
# CONFIG_DRIVER_PARADE_PS8640 is not set
# CONFIG_DRIVERS_PS2_KEYBOARD is not set
CONFIG_DRIVERS_MC146818=y
CONFIG_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_MAINBOARD_HAS_LPC_TPM=y
CONFIG_TPM_TIS_BASE_ADDRESS=0xfed40000
CONFIG_VGA=y
# CONFIG_DRIVERS_RICOH_RCE822 is not set
# CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
@@ -468,6 +470,7 @@ CONFIG_VGA=y
# CONFIG_DRIVER_TI_TPS65090 is not set
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
# CONFIG_DRIVERS_USB_ACPI is not set
# CONFIG_DRIVERS_USB_PCI_XHCI is not set
# CONFIG_COMMONLIB_STORAGE is not set
#
@@ -560,7 +563,6 @@ CONFIG_HAVE_OPTION_TABLE=y
CONFIG_IOAPIC=y
CONFIG_USE_WATCHDOG_ON_BOOT=y
# CONFIG_GFXUMA is not set
# CONFIG_COMMON_FADT is not set
# CONFIG_ACPI_NHLT is not set
#