Skip to content

Commit 5b929a7

Browse files
committed
d16: adjust d16 boards coreboot configs, circleci config so all builds with 15h fork
Rebased on master making arha commits co-signed since they were not signed-off repro: git fetch origin git rebase --signoff origin/master vi boards/*/*.config #so all boards point to 15h for coreboot fork ./docker_repro.sh make BOARD=*d16_boards* coreboot.modify_and_save_oldconfig_in_place #so oldconfig under config/coreboot* are updated with changes observable to15h fork, make sure measured boot on vi .circleci/config.yml #to readd d16 boards, make them depend on musl-cross-make for workstation, and then reuse workstation build cache for other boards Signed-off-by: Thierry Laurion <insurgo@riseup.net>
1 parent f59ed58 commit 5b929a7

6 files changed

Lines changed: 56 additions & 8 deletions

File tree

.circleci/config.yml

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -543,3 +543,32 @@ workflows:
543543
subcommand: ""
544544
requires:
545545
- novacustom-nv4x_adl
546+
547+
# coreboot fam15h
548+
- build:
549+
name: UNMAINTAINED_kgpe-d16_workstation
550+
target: UNMAINTAINED_kgpe-d16_workstation
551+
subcommand: ""
552+
requires:
553+
- x86-musl-cross-make
554+
555+
- build:
556+
name: UNMAINTAINED_kgpe-d16_workstation-usb_keyboard
557+
target: UNMAINTAINED_kgpe-d16_workstation-usb_keyboard
558+
subcommand: ""
559+
requires:
560+
- UNMAINTAINED_kgpe-d16_workstation
561+
562+
- build:
563+
name: UNMAINTAINED_kgpe-d16_server
564+
target: UNMAINTAINED_kgpe-d16_server
565+
subcommand: ""
566+
requires:
567+
- UNMAINTAINED_kgpe-d16_workstation
568+
569+
- build:
570+
name: UNMAINTAINED_kgpe-d16_server-whiptail
571+
target: UNMAINTAINED_kgpe-d16_server-whiptail
572+
subcommand: ""
573+
requires:
574+
- UNMAINTAINED_kgpe-d16_workstation

boards/UNMAINTAINED_kgpe-d16_server/UNMAINTAINED_kgpe-d16_server.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
# - Please contribute documentation on heads-wiki
1717
# - Please support https://github.com/osresearch/heads/issues/719
1818
export CONFIG_COREBOOT=y
19-
export CONFIG_COREBOOT_VERSION=4.11
19+
export CONFIG_COREBOOT_VERSION=15h
2020
export CONFIG_LINUX_VERSION=6.1.8
2121

2222
CONFIG_COREBOOT_CONFIG=config/coreboot-kgpe-d16_server.config

boards/UNMAINTAINED_kgpe-d16_workstation-usb_keyboard/UNMAINTAINED_kgpe-d16_workstation-usb_keyboard.config

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212
# sure their operating system loads microcode updates.
1313

1414
export CONFIG_COREBOOT=y
15-
export CONFIG_COREBOOT_VERSION=4.11
15+
export CONFIG_COREBOOT_VERSION=15h
1616
export CONFIG_LINUX_VERSION=6.1.8
1717

1818
CONFIG_COREBOOT_CONFIG=config/coreboot-kgpe-d16_workstation-usb_keyboard.config

config/coreboot-kgpe-d16_server.config

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,6 @@ CONFIG_NO_RELOCATABLE_RAMSTAGE=y
2828
# CONFIG_RELOCATABLE_RAMSTAGE is not set
2929
# CONFIG_UPDATE_IMAGE is not set
3030
# CONFIG_BOOTSPLASH_IMAGE is not set
31-
CONFIG_MEASURED_BOOT=y
3231

3332
#
3433
# Mainboard
@@ -104,6 +103,7 @@ CONFIG_ONBOARD_VGA_IS_PRIMARY=y
104103
CONFIG_DIMM_SPD_SIZE=256
105104
# CONFIG_VGA_BIOS is not set
106105
CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
106+
CONFIG_VGA_BIOS_FILE="3rdparty/blobs/mainboard/asus/kgpe-d16/VGABIOS.bin"
107107
CONFIG_C_ENV_BOOTBLOCK_SIZE=0x10000
108108
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="ASUS"
109109
CONFIG_DEVICETREE="devicetree.cb"
@@ -161,12 +161,14 @@ CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="KGPE-D16"
161161
CONFIG_DEFAULT_CONSOLE_LOGLEVEL=7
162162
# CONFIG_USBDEBUG is not set
163163
CONFIG_IPMI_KCS_REGISTER_SPACING=1
164+
CONFIG_IPMI_FRU_SINGLE_RW_SZ=16
164165
CONFIG_MAINBOARD_VERSION="1.0"
165166
CONFIG_DRIVERS_PS2_KEYBOARD=y
166167
CONFIG_PCIEXP_L1_SUB_STATE=y
167168
# CONFIG_NO_POST is not set
168169
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x03
169170
CONFIG_HEAP_SIZE=0xc0000
171+
CONFIG_CPU_ADDR_BITS=48
170172
# CONFIG_CONSOLE_POST is not set
171173
CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
172174
CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
@@ -209,7 +211,6 @@ CONFIG_MAINBOARD_POWER_FAILURE_STATE=1
209211
# SoC
210212
#
211213
CONFIG_HAVE_BOOTBLOCK=y
212-
CONFIG_CPU_ADDR_BITS=48
213214
CONFIG_MMCONF_BUS_NUMBER=256
214215
CONFIG_EHCI_BAR=0xfef00000
215216
CONFIG_SMM_MODULE_STACK_SIZE=0x400
@@ -325,6 +326,8 @@ CONFIG_DIMM_VOLTAGE_SET_SUPPORT=y
325326
CONFIG_LIMIT_HT_DOWN_WIDTH_16=y
326327
# CONFIG_LIMIT_HT_UP_WIDTH_8 is not set
327328
CONFIG_LIMIT_HT_UP_WIDTH_16=y
329+
# CONFIG_AMD_NB_CIMX is not set
330+
# CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
328331
# CONFIG_NORTHBRIDGE_AMD_PI is not set
329332

330333
#
@@ -449,6 +452,7 @@ CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
449452
# CONFIG_MAINBOARD_HAS_CRB_TPM is not set
450453
# CONFIG_GIC is not set
451454
CONFIG_IPMI_KCS=y
455+
CONFIG_IPMI_KCS_TIMEOUT_MS=5000
452456
# CONFIG_DRIVERS_LENOVO_WACOM is not set
453457
# CONFIG_RT8168_GET_MAC_FROM_VPD is not set
454458
# CONFIG_RT8168_SET_LED_MODE is not set
@@ -488,7 +492,6 @@ CONFIG_HAVE_USBDEBUG_OPTIONS=y
488492
# CONFIG_DRIVERS_AMD_PI is not set
489493
CONFIG_DRIVERS_ASPEED_AST2050=y
490494
CONFIG_DRIVERS_ASPEED_AST_COMMON=y
491-
# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
492495
# CONFIG_DRIVERS_I2C_MAX98373 is not set
493496
# CONFIG_DRIVERS_I2C_MAX98927 is not set
494497
# CONFIG_DRIVERS_I2C_PCA9538 is not set
@@ -529,6 +532,7 @@ CONFIG_VGA=y
529532
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
530533
# CONFIG_DRIVERS_SIL_3114 is not set
531534
# CONFIG_MAINBOARD_HAS_SPI_TPM_CR50 is not set
535+
# CONFIG_MAINBOARD_HAS_SPI_TPM is not set
532536
# CONFIG_DRIVER_TI_TPS65090 is not set
533537
# CONFIG_DRIVERS_TI_TPS65913 is not set
534538
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
@@ -542,6 +546,7 @@ CONFIG_VGA=y
542546
#
543547
# Verified Boot (vboot)
544548
#
549+
CONFIG_VBOOT_LIB=y
545550

546551
#
547552
# Trusted Platform Module
@@ -553,10 +558,13 @@ CONFIG_USER_TPM1=y
553558
# CONFIG_TPM_DEACTIVATE is not set
554559
# CONFIG_DEBUG_TPM is not set
555560
CONFIG_TPM_RDRESP_NEED_DELAY=y
561+
CONFIG_TPM_MEASURED_BOOT=y
562+
CONFIG_TPM_MEASURED_BOOT_RUNTIME_DATA=""
556563

557564
#
558565
# Memory initialization
559566
#
567+
# CONFIG_STM is not set
560568
# CONFIG_ACPI_SATA_GENERATOR is not set
561569
# CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES is not set
562570
# CONFIG_ACPI_AMD_HARDWARE_SLEEP_VALUES is not set
@@ -691,6 +699,7 @@ CONFIG_HAVE_DEBUG_SMBUS=y
691699
# CONFIG_DEBUG_MALLOC is not set
692700
# CONFIG_DEBUG_CONSOLE_INIT is not set
693701
# CONFIG_DEBUG_SPI_FLASH is not set
702+
# CONFIG_DEBUG_IPMI is not set
694703
# CONFIG_TRACE is not set
695704
# CONFIG_DEBUG_BOOT_STATE is not set
696705
# CONFIG_DEBUG_ADA_CODE is not set

config/coreboot-kgpe-d16_workstation-usb_keyboard.config

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,6 @@ CONFIG_NO_RELOCATABLE_RAMSTAGE=y
2828
# CONFIG_RELOCATABLE_RAMSTAGE is not set
2929
# CONFIG_UPDATE_IMAGE is not set
3030
# CONFIG_BOOTSPLASH_IMAGE is not set
31-
CONFIG_MEASURED_BOOT=y
3231

3332
#
3433
# Mainboard
@@ -104,6 +103,7 @@ CONFIG_ONBOARD_VGA_IS_PRIMARY=y
104103
CONFIG_DIMM_SPD_SIZE=256
105104
# CONFIG_VGA_BIOS is not set
106105
CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
106+
CONFIG_VGA_BIOS_FILE="3rdparty/blobs/mainboard/asus/kgpe-d16/VGABIOS.bin"
107107
CONFIG_C_ENV_BOOTBLOCK_SIZE=0x10000
108108
CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="ASUS"
109109
CONFIG_DEVICETREE="devicetree.cb"
@@ -161,12 +161,14 @@ CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="KGPE-D16"
161161
CONFIG_DEFAULT_CONSOLE_LOGLEVEL=7
162162
# CONFIG_USBDEBUG is not set
163163
CONFIG_IPMI_KCS_REGISTER_SPACING=1
164+
CONFIG_IPMI_FRU_SINGLE_RW_SZ=16
164165
CONFIG_MAINBOARD_VERSION="1.0"
165166
CONFIG_DRIVERS_PS2_KEYBOARD=y
166167
CONFIG_PCIEXP_L1_SUB_STATE=y
167168
# CONFIG_NO_POST is not set
168169
CONFIG_SMBIOS_ENCLOSURE_TYPE=0x03
169170
CONFIG_HEAP_SIZE=0xc0000
171+
CONFIG_CPU_ADDR_BITS=48
170172
# CONFIG_CONSOLE_POST is not set
171173
CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
172174
CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
@@ -209,7 +211,6 @@ CONFIG_MAINBOARD_POWER_FAILURE_STATE=1
209211
# SoC
210212
#
211213
CONFIG_HAVE_BOOTBLOCK=y
212-
CONFIG_CPU_ADDR_BITS=48
213214
CONFIG_MMCONF_BUS_NUMBER=256
214215
CONFIG_EHCI_BAR=0xfef00000
215216
CONFIG_SMM_MODULE_STACK_SIZE=0x400
@@ -325,6 +326,8 @@ CONFIG_DIMM_VOLTAGE_SET_SUPPORT=y
325326
CONFIG_LIMIT_HT_DOWN_WIDTH_16=y
326327
# CONFIG_LIMIT_HT_UP_WIDTH_8 is not set
327328
CONFIG_LIMIT_HT_UP_WIDTH_16=y
329+
# CONFIG_AMD_NB_CIMX is not set
330+
# CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
328331
# CONFIG_NORTHBRIDGE_AMD_PI is not set
329332

330333
#
@@ -449,6 +452,7 @@ CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
449452
# CONFIG_MAINBOARD_HAS_CRB_TPM is not set
450453
# CONFIG_GIC is not set
451454
CONFIG_IPMI_KCS=y
455+
CONFIG_IPMI_KCS_TIMEOUT_MS=5000
452456
# CONFIG_DRIVERS_LENOVO_WACOM is not set
453457
# CONFIG_RT8168_GET_MAC_FROM_VPD is not set
454458
# CONFIG_RT8168_SET_LED_MODE is not set
@@ -488,7 +492,6 @@ CONFIG_HAVE_USBDEBUG_OPTIONS=y
488492
# CONFIG_DRIVERS_AMD_PI is not set
489493
CONFIG_DRIVERS_ASPEED_AST2050=y
490494
CONFIG_DRIVERS_ASPEED_AST_COMMON=y
491-
# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
492495
# CONFIG_DRIVERS_I2C_MAX98373 is not set
493496
# CONFIG_DRIVERS_I2C_MAX98927 is not set
494497
# CONFIG_DRIVERS_I2C_PCA9538 is not set
@@ -529,6 +532,7 @@ CONFIG_VGA=y
529532
# CONFIG_NC_FPGA_NOTIFY_CB_READY is not set
530533
# CONFIG_DRIVERS_SIL_3114 is not set
531534
# CONFIG_MAINBOARD_HAS_SPI_TPM_CR50 is not set
535+
# CONFIG_MAINBOARD_HAS_SPI_TPM is not set
532536
# CONFIG_DRIVER_TI_TPS65090 is not set
533537
# CONFIG_DRIVERS_TI_TPS65913 is not set
534538
# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
@@ -542,6 +546,7 @@ CONFIG_VGA=y
542546
#
543547
# Verified Boot (vboot)
544548
#
549+
CONFIG_VBOOT_LIB=y
545550

546551
#
547552
# Trusted Platform Module
@@ -553,10 +558,13 @@ CONFIG_USER_TPM1=y
553558
# CONFIG_TPM_DEACTIVATE is not set
554559
# CONFIG_DEBUG_TPM is not set
555560
CONFIG_TPM_RDRESP_NEED_DELAY=y
561+
CONFIG_TPM_MEASURED_BOOT=y
562+
CONFIG_TPM_MEASURED_BOOT_RUNTIME_DATA=""
556563

557564
#
558565
# Memory initialization
559566
#
567+
# CONFIG_STM is not set
560568
# CONFIG_ACPI_SATA_GENERATOR is not set
561569
# CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES is not set
562570
# CONFIG_ACPI_AMD_HARDWARE_SLEEP_VALUES is not set
@@ -691,6 +699,7 @@ CONFIG_HAVE_DEBUG_SMBUS=y
691699
# CONFIG_DEBUG_MALLOC is not set
692700
# CONFIG_DEBUG_CONSOLE_INIT is not set
693701
# CONFIG_DEBUG_SPI_FLASH is not set
702+
# CONFIG_DEBUG_IPMI is not set
694703
# CONFIG_TRACE is not set
695704
# CONFIG_DEBUG_BOOT_STATE is not set
696705
# CONFIG_DEBUG_ADA_CODE is not set

modules/coreboot

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -117,6 +117,7 @@ coreboot-15h_repo := https://git.15h.org/mrothfuss/coreboot-15h.git
117117
coreboot-15h_commit_hash := 1c529657c0c1221f1c63dd8cd1fd096c7821de9c
118118
$(eval $(call coreboot_module,15h,))
119119

120+
120121
# Check that the board configured the coreboot version correctly
121122
ifeq "$(CONFIG_COREBOOT_VERSION)" ""
122123
$(error "$(BOARD): does not specify coreboot version under CONFIG_COREBOOT_VERSION")

0 commit comments

Comments
 (0)