11CONFIG_LOCALVERSION="v0.1.0"
2- CONFIG_USE_OPTION_TABLE =y
2+ CONFIG_OPTION_BACKEND_NONE =y
33CONFIG_VENDOR_DELL=y
44CONFIG_FMDFILE="src/mainboard/dell/snb_ivb_workstations/default.fmd"
55CONFIG_ONBOARD_VGA_IS_PRIMARY=y
66CONFIG_BOARD_DELL_OPTIPLEX_9010=y
7+ CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x100000
8+ CONFIG_EDK2_BOOT_TIMEOUT=3
79CONFIG_PCIEXP_CLK_PM=y
810CONFIG_EDK2_BOOTSPLASH_FILE="3rdparty/dasharo-blobs/dasharo/bootsplash.bmp"
911CONFIG_TPM_MEASURED_BOOT=y
12+ CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
13+ # CONFIG_USE_PC_CMOS_ALTCENTURY is not set
14+ CONFIG_BOOTMEDIA_LOCK_CONTROLLER=y
15+ CONFIG_BOOTMEDIA_LOCK_WPRO_VBOOT_RO=y
16+ CONFIG_BOOTMEDIA_SMM_BWP=y
17+ CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
18+ # CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX is not set
19+ # CONFIG_CONSOLE_USE_ANSI_ESCAPES is not set
1020CONFIG_PAYLOAD_EDK2=y
1121CONFIG_EDK2_REPOSITORY="https://github.com/Dasharo/edk2.git"
12- CONFIG_EDK2_TAG_OR_REV="origin/rebased "
22+ CONFIG_EDK2_TAG_OR_REV="d1399bf8473823f457617752767e9b56d3c2b1c4 "
1323CONFIG_EDK2_USE_EDK2_PLATFORMS=y
1424CONFIG_EDK2_PLATFORMS_REPOSITORY="https://github.com/Dasharo/edk2-platforms"
1525CONFIG_EDK2_PLATFORMS_TAG_OR_REV="3323ed481d35096fb6a7eae7b49f35eff00f86cf"
26+ CONFIG_EDK2_CBMEM_LOGGING=y
1627CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
1728CONFIG_EDK2_SD_MMC_TIMEOUT=1000
1829CONFIG_EDK2_SERIAL_SUPPORT=y
@@ -23,14 +34,18 @@ CONFIG_IPXE_ADD_SCRIPT=y
2334CONFIG_IPXE_SCRIPT="3rdparty/dasharo-blobs/dasharo/dasharo.ipxe"
2435CONFIG_IPXE_CUSTOM_BUILD_ID="12345678"
2536CONFIG_EDK2_ENABLE_IPXE=y
26- CONFIG_EDK2_IPXE_OPTION_NAME="Network Boot and Utilities"
37+ # CONFIG_EDK2_SECURE_BOOT_DEFAULT_ENABLE is not set
38+ CONFIG_EDK2_SATA_PASSWORD=y
39+ CONFIG_EDK2_OPAL_PASSWORD=y
2740CONFIG_EDK2_SETUP_PASSWORD=y
2841CONFIG_EDK2_DASHARO_SYSTEM_FEATURES=y
2942CONFIG_EDK2_DASHARO_SECURITY_OPTIONS=y
3043CONFIG_EDK2_DASHARO_USB_CONFIG=y
3144CONFIG_EDK2_DASHARO_NETWORK_CONFIG=y
3245CONFIG_EDK2_DASHARO_CHIPSET_CONFIG=y
33- CONFIG_EDK2_DASHARO_NETWORK_BOOT_DEFAULT_ENABLE=y
46+ CONFIG_EDK2_DASHARO_POWER_CONFIG=y
47+ CONFIG_EDK2_DASHARO_PCI_CONFIG=y
3448CONFIG_EDK2_DASHARO_SERIAL_REDIRECTION_DEFAULT_ENABLE=y
35- CONFIG_EDK2_BOOT_MENU_KEY=0x0011
3649CONFIG_EDK2_SETUP_MENU_KEY=0x000C
50+ CONFIG_EDK2_DISABLE_OPTION_ROMS=y
51+ CONFIG_EDK2_CREATE_PREINSTALLED_BOOT_OPTIONS=y
0 commit comments