Skip to content

Commit 2825d4c

Browse files
committed
configs: run savedefconfig on Dasharo EDK boards
iPXE configuration of the boards were broken after a rebase, so this also involved setting CONFIG_BUILD_IPXE=y which now enables build. Change-Id: Ib2af25f7259c31f2e89dc10f473331733c255796 Signed-off-by: Sergii Dmytruk <[email protected]>
1 parent 70a0c6a commit 2825d4c

16 files changed

+95
-100
lines changed

configs/config.msi_ms7d25_ddr4

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -7,24 +7,24 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
77
CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
88
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
99
CONFIG_EDK2_BOOT_TIMEOUT=3
10+
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
1011
CONFIG_HAVE_IFD_BIN=y
1112
CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y
1213
# CONFIG_PCIEXP_ASPM is not set
1314
# CONFIG_PCIEXP_L1_SUB_STATE is not set
1415
# CONFIG_PCIEXP_CLK_PM is not set
1516
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
17+
CONFIG_TPM_MEASURED_BOOT=y
1618
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
1719
CONFIG_INCLUDE_HSPHY_IN_FMAP=y
1820
CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
1921
CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
2022
CONFIG_HAVE_ME_BIN=y
2123
CONFIG_DASHARO_PREFER_S3_SLEEP=y
2224
CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
23-
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
2425
CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
2526
CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
2627
CONFIG_TPM2=y
27-
CONFIG_TPM_MEASURED_BOOT=y
2828
CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
2929
CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
3030
CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -41,8 +41,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
4141
CONFIG_EDK2_CBMEM_LOGGING=y
4242
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
4343
CONFIG_EDK2_SERIAL_SUPPORT=y
44+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
45+
CONFIG_BUILD_IPXE=y
46+
CONFIG_IPXE_ADD_SCRIPT=y
47+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
48+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
4449
CONFIG_EDK2_ENABLE_IPXE=y
45-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
4650
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4751
CONFIG_EDK2_SATA_PASSWORD=y
4852
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -60,8 +64,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
6064
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
6165
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
6266
CONFIG_EDK2_RAM_DISK_ENABLE=y
63-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
6467
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
65-
CONFIG_IPXE_ADD_SCRIPT=y
66-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
67-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.msi_ms7d25_ddr5

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -7,24 +7,24 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
77
CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
88
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
99
CONFIG_EDK2_BOOT_TIMEOUT=3
10+
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
1011
CONFIG_HAVE_IFD_BIN=y
1112
CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR5=y
1213
# CONFIG_PCIEXP_ASPM is not set
1314
# CONFIG_PCIEXP_L1_SUB_STATE is not set
1415
# CONFIG_PCIEXP_CLK_PM is not set
1516
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
17+
CONFIG_TPM_MEASURED_BOOT=y
1618
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
1719
CONFIG_INCLUDE_HSPHY_IN_FMAP=y
1820
CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
1921
CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
2022
CONFIG_HAVE_ME_BIN=y
2123
CONFIG_DASHARO_PREFER_S3_SLEEP=y
2224
CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
23-
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
2425
CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
2526
CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
2627
CONFIG_TPM2=y
27-
CONFIG_TPM_MEASURED_BOOT=y
2828
CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
2929
CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
3030
CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -41,8 +41,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
4141
CONFIG_EDK2_CBMEM_LOGGING=y
4242
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
4343
CONFIG_EDK2_SERIAL_SUPPORT=y
44+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
45+
CONFIG_BUILD_IPXE=y
46+
CONFIG_IPXE_ADD_SCRIPT=y
47+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
48+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
4449
CONFIG_EDK2_ENABLE_IPXE=y
45-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
4650
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4751
CONFIG_EDK2_SATA_PASSWORD=y
4852
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -60,8 +64,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
6064
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
6165
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
6266
CONFIG_EDK2_RAM_DISK_ENABLE=y
63-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
6467
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
65-
CONFIG_IPXE_ADD_SCRIPT=y
66-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
67-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.msi_ms7e06_ddr4

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,24 +6,24 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
66
CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
77
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
88
CONFIG_EDK2_BOOT_TIMEOUT=3
9+
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
910
CONFIG_HAVE_IFD_BIN=y
1011
CONFIG_BOARD_MSI_Z790_P_PRO_WIFI_DDR4=y
1112
# CONFIG_PCIEXP_ASPM is not set
1213
# CONFIG_PCIEXP_L1_SUB_STATE is not set
1314
# CONFIG_PCIEXP_CLK_PM is not set
1415
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
16+
CONFIG_TPM_MEASURED_BOOT=y
1517
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
1618
CONFIG_INCLUDE_HSPHY_IN_FMAP=y
1719
CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
1820
CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
1921
CONFIG_HAVE_ME_BIN=y
2022
CONFIG_DASHARO_PREFER_S3_SLEEP=y
2123
CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
22-
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
2324
CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
2425
CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
2526
CONFIG_TPM2=y
26-
CONFIG_TPM_MEASURED_BOOT=y
2727
CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
2828
CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
2929
CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -40,8 +40,13 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
4040
CONFIG_EDK2_CBMEM_LOGGING=y
4141
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
4242
CONFIG_EDK2_SERIAL_SUPPORT=y
43+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
44+
CONFIG_BUILD_IPXE=y
45+
CONFIG_IPXE_ADD_SCRIPT=y
46+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
47+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
4348
CONFIG_EDK2_ENABLE_IPXE=y
44-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
49+
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4550
CONFIG_EDK2_SATA_PASSWORD=y
4651
CONFIG_EDK2_OPAL_PASSWORD=y
4752
CONFIG_EDK2_SETUP_PASSWORD=y
@@ -58,9 +63,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
5863
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
5964
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
6065
CONFIG_EDK2_RAM_DISK_ENABLE=y
61-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
62-
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
6366
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
64-
CONFIG_IPXE_ADD_SCRIPT=y
65-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
66-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.msi_ms7e06_ddr5

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,24 +6,24 @@ CONFIG_IFD_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/descriptor.bin"
66
CONFIG_ME_BIN_PATH="3rdparty/dasharo-blobs/$(MAINBOARDDIR)/me.bin"
77
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
88
CONFIG_EDK2_BOOT_TIMEOUT=3
9+
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
910
CONFIG_HAVE_IFD_BIN=y
1011
CONFIG_BOARD_MSI_Z790_P_PRO_WIFI_DDR5=y
1112
# CONFIG_PCIEXP_ASPM is not set
1213
# CONFIG_PCIEXP_L1_SUB_STATE is not set
1314
# CONFIG_PCIEXP_CLK_PM is not set
1415
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
16+
CONFIG_TPM_MEASURED_BOOT=y
1517
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
1618
CONFIG_INCLUDE_HSPHY_IN_FMAP=y
1719
CONFIG_SOC_INTEL_COMMON_OC_WDT_ENABLE=y
1820
CONFIG_ENABLE_EARLY_DMA_PROTECTION=y
1921
CONFIG_HAVE_ME_BIN=y
2022
CONFIG_DASHARO_PREFER_S3_SLEEP=y
2123
CONFIG_PCIEXP_SUPPORT_RESIZABLE_BARS=y
22-
CONFIG_PCIEXP_DEFAULT_MAX_RESIZABLE_BAR_BITS=37
2324
CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR=y
2425
CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
2526
CONFIG_TPM2=y
26-
CONFIG_TPM_MEASURED_BOOT=y
2727
CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
2828
CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
2929
CONFIG_BOOTMEDIA_LOCK_IN_VERSTAGE=y
@@ -40,8 +40,13 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
4040
CONFIG_EDK2_CBMEM_LOGGING=y
4141
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
4242
CONFIG_EDK2_SERIAL_SUPPORT=y
43+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
44+
CONFIG_BUILD_IPXE=y
45+
CONFIG_IPXE_ADD_SCRIPT=y
46+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
47+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
4348
CONFIG_EDK2_ENABLE_IPXE=y
44-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
49+
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4550
CONFIG_EDK2_SATA_PASSWORD=y
4651
CONFIG_EDK2_OPAL_PASSWORD=y
4752
CONFIG_EDK2_SETUP_PASSWORD=y
@@ -58,9 +63,4 @@ CONFIG_EDK2_DASHARO_MEMORY_CONFIG=y
5863
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
5964
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
6065
CONFIG_EDK2_RAM_DISK_ENABLE=y
61-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
62-
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
6366
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
64-
CONFIG_IPXE_ADD_SCRIPT=y
65-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
66-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.pcengines_apu6

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,12 @@ CONFIG_EDK2_USE_EDK2_PLATFORMS=y
2020
CONFIG_EDK2_PLATFORMS_REPOSITORY="https://github.com/Dasharo/edk2-platforms"
2121
CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
2222
CONFIG_EDK2_SERIAL_SUPPORT=y
23+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
24+
CONFIG_BUILD_IPXE=y
25+
CONFIG_IPXE_ADD_SCRIPT=y
26+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
27+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
2328
CONFIG_EDK2_ENABLE_IPXE=y
24-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
2529
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
2630
CONFIG_EDK2_SATA_PASSWORD=y
2731
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -35,8 +39,4 @@ CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
3539
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
3640
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
3741
CONFIG_EDK2_RAM_DISK_ENABLE=y
38-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
3942
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
40-
CONFIG_IPXE_ADD_SCRIPT=y
41-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
42-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.pcengines_uefi_apu2

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ CONFIG_VBOOT=y
55
CONFIG_PXE_ROM_ID="8086,157b"
66
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
77
CONFIG_EDK2_BOOT_TIMEOUT=6
8-
# CONFIG_HUDSON_LEGACY_FREE is not set
98
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
109
CONFIG_TPM_MEASURED_BOOT=y
1110
CONFIG_UDK_202005_BINDING=y
@@ -28,8 +27,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
2827
CONFIG_EDK2_CBMEM_LOGGING=y
2928
# CONFIG_EDK2_PS2_SUPPORT is not set
3029
CONFIG_EDK2_SERIAL_SUPPORT=y
30+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
31+
CONFIG_BUILD_IPXE=y
32+
CONFIG_IPXE_ADD_SCRIPT=y
33+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
34+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3135
CONFIG_EDK2_ENABLE_IPXE=y
32-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
3336
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
3437
CONFIG_EDK2_SATA_PASSWORD=y
3538
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -45,8 +48,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
4548
CONFIG_EDK2_BOOT_MENU_KEY=0x0014
4649
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4750
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
48-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
4951
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
50-
CONFIG_IPXE_ADD_SCRIPT=y
51-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
52-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.pcengines_uefi_apu3

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
66
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
77
CONFIG_EDK2_BOOT_TIMEOUT=6
88
CONFIG_BOARD_PCENGINES_APU3=y
9-
# CONFIG_HUDSON_LEGACY_FREE is not set
109
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
1110
CONFIG_TPM_MEASURED_BOOT=y
1211
CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
2928
CONFIG_EDK2_CBMEM_LOGGING=y
3029
# CONFIG_EDK2_PS2_SUPPORT is not set
3130
CONFIG_EDK2_SERIAL_SUPPORT=y
31+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
32+
CONFIG_BUILD_IPXE=y
33+
CONFIG_IPXE_ADD_SCRIPT=y
34+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
35+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3236
CONFIG_EDK2_ENABLE_IPXE=y
33-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
3437
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
3538
CONFIG_EDK2_SATA_PASSWORD=y
3639
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
4649
CONFIG_EDK2_BOOT_MENU_KEY=0x0014
4750
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4851
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
49-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
5052
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
51-
CONFIG_IPXE_ADD_SCRIPT=y
52-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
53-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.pcengines_uefi_apu4

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
66
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
77
CONFIG_EDK2_BOOT_TIMEOUT=6
88
CONFIG_BOARD_PCENGINES_APU4=y
9-
# CONFIG_HUDSON_LEGACY_FREE is not set
109
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
1110
CONFIG_TPM_MEASURED_BOOT=y
1211
CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
2928
CONFIG_EDK2_CBMEM_LOGGING=y
3029
# CONFIG_EDK2_PS2_SUPPORT is not set
3130
CONFIG_EDK2_SERIAL_SUPPORT=y
31+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
32+
CONFIG_BUILD_IPXE=y
33+
CONFIG_IPXE_ADD_SCRIPT=y
34+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
35+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3236
CONFIG_EDK2_ENABLE_IPXE=y
33-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
3437
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
3538
CONFIG_EDK2_SATA_PASSWORD=y
3639
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
4649
CONFIG_EDK2_BOOT_MENU_KEY=0x0014
4750
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4851
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
49-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
5052
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
51-
CONFIG_IPXE_ADD_SCRIPT=y
52-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
53-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.pcengines_uefi_apu6

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ CONFIG_PXE_ROM_ID="8086,1539"
66
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
77
CONFIG_EDK2_BOOT_TIMEOUT=6
88
CONFIG_BOARD_PCENGINES_APU6=y
9-
# CONFIG_HUDSON_LEGACY_FREE is not set
109
CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
1110
CONFIG_TPM_MEASURED_BOOT=y
1211
CONFIG_UDK_202005_BINDING=y
@@ -29,8 +28,12 @@ CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
2928
CONFIG_EDK2_CBMEM_LOGGING=y
3029
# CONFIG_EDK2_PS2_SUPPORT is not set
3130
CONFIG_EDK2_SERIAL_SUPPORT=y
31+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
32+
CONFIG_BUILD_IPXE=y
33+
CONFIG_IPXE_ADD_SCRIPT=y
34+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
35+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3236
CONFIG_EDK2_ENABLE_IPXE=y
33-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
3437
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
3538
CONFIG_EDK2_SATA_PASSWORD=y
3639
CONFIG_EDK2_OPAL_PASSWORD=y
@@ -46,8 +49,4 @@ CONFIG_EDK2_HAVE_2ND_UART=y
4649
CONFIG_EDK2_BOOT_MENU_KEY=0x0014
4750
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4851
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
49-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
5052
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
51-
CONFIG_IPXE_ADD_SCRIPT=y
52-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
53-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.protectli_vault_jsl_v1210

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,18 +35,18 @@ CONFIG_EDK2_CBMEM_LOGGING=y
3535
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
3636
# CONFIG_EDK2_PS2_SUPPORT is not set
3737
CONFIG_EDK2_SERIAL_SUPPORT=y
38+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
39+
CONFIG_BUILD_IPXE=y
40+
CONFIG_IPXE_ADD_SCRIPT=y
41+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
42+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3843
CONFIG_EDK2_ENABLE_IPXE=y
3944
CONFIG_EDK2_IPXE_OPTION_NAME="Network Boot and Utilities"
40-
CONFIG_EDK2_SECURE_BOOT_SUPPORT=y
4145
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4246
CONFIG_EDK2_DASHARO_SYSTEM_FEATURES=y
4347
CONFIG_EDK2_DASHARO_NETWORK_BOOT_DEFAULT_ENABLE=y
4448
CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
4549
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
4650
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4751
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
48-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
4952
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
50-
CONFIG_IPXE_ADD_SCRIPT=y
51-
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
52-
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"

configs/config.protectli_vault_jsl_v1211

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,18 +35,18 @@ CONFIG_EDK2_CBMEM_LOGGING=y
3535
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
3636
# CONFIG_EDK2_PS2_SUPPORT is not set
3737
CONFIG_EDK2_SERIAL_SUPPORT=y
38+
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
39+
CONFIG_BUILD_IPXE=y
40+
CONFIG_IPXE_ADD_SCRIPT=y
41+
CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
42+
CONFIG_IPXE_CUSTOM_BUILD_ID="0123456789"
3843
CONFIG_EDK2_ENABLE_IPXE=y
3944
CONFIG_EDK2_IPXE_OPTION_NAME="Network Boot and Utilities"
40-
CONFIG_EDK2_SECURE_BOOT=y
4145
# CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
4246
CONFIG_EDK2_DASHARO_SYSTEM_FEATURES=y
4347
CONFIG_EDK2_DASHARO_NETWORK_BOOT_DEFAULT_ENABLE=y
4448
CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
4549
CONFIG_EDK2_BOOT_MENU_KEY=0x0015
4650
CONFIG_EDK2_SETUP_MENU_KEY=0x0008
4751
CONFIG_EDK2_DISABLE_OPTION_ROMS=y
48-
CONFIG_EDK2_CUSTOM_BUILD_PARAMS=""
4952
CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
50-
CONFIG_PXE_ADD_SCRIPT=y
51-
CONFIG_PXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/protectli.ipxe"
52-
CONFIG_PXE_CUSTOM_BUILD_ID="0123456789"

0 commit comments

Comments
 (0)