Skip to content

Commit 28569dc

Browse files
tlauriontlaurion
committed
modules/coreboot: add helper to save defconfig alongside original .config
Add coreboot.save_in_defconfig_format_backup target that runs savedefconfig and saves the result as .config_defconfig alongside the original .config file. Signed-off-by: Thierry Laurion <insurgo@riseup.net>
1 parent 3b0745d commit 28569dc

File tree

38 files changed

+1029
-0
lines changed

38 files changed

+1029
-0
lines changed

‎config/coreboot-librem_11.config_defconfig‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_CBFS_SIZE=0xC00000
7+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_jsl/librem_11/flashdescriptor.bin"
8+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_jsl/librem_11/me.bin"
9+
CONFIG_HAVE_IFD_BIN=y
10+
CONFIG_BOARD_PURISM_LIBREM_11=y
11+
CONFIG_LINUX_COMMAND_LINE="intel_iommu=igfx_off quiet loglevel=2"
12+
CONFIG_FSP_M_FILE="3rdparty/purism-blobs/mainboard/purism/librem_jsl/librem_11/fspm.bin"
13+
CONFIG_FSP_S_FILE="3rdparty/purism-blobs/mainboard/purism/librem_jsl/librem_11/fsps.bin"
14+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
15+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_jsl/cpu_microcode_blob.bin"
16+
CONFIG_HAVE_ME_BIN=y
17+
CONFIG_BOOTSPLASH=y
18+
CONFIG_ADD_FSP_BINARIES=y
19+
# CONFIG_DRIVERS_MTK_WIFI is not set
20+
CONFIG_PAYLOAD_LINUX=y
21+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
22+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_13v2.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=2160
7+
CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=3840
8+
# CONFIG_DRIVERS_INTEL_WIFI is not set
9+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_skl/descriptor.bin"
10+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_skl/me.bin"
11+
CONFIG_HAVE_IFD_BIN=y
12+
CONFIG_BOARD_PURISM_LIBREM13_V2=y
13+
CONFIG_TPM_MEASURED_BOOT=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_skl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_13v4.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=2160
7+
CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=3840
8+
# CONFIG_DRIVERS_INTEL_WIFI is not set
9+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_kbl/descriptor.bin"
10+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_kbl/me.bin"
11+
CONFIG_HAVE_IFD_BIN=y
12+
CONFIG_BOARD_PURISM_LIBREM13_V4=y
13+
CONFIG_TPM_MEASURED_BOOT=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_kbl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_14.config_defconfig‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_CBFS_SIZE=0xC00000
7+
CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=2160
8+
CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=3840
9+
# CONFIG_DRIVERS_INTEL_WIFI is not set
10+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/librem_14/flashdescriptor.bin"
11+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/librem_14/me.bin"
12+
CONFIG_HAVE_IFD_BIN=y
13+
CONFIG_BOARD_PURISM_LIBREM_14=y
14+
CONFIG_TPM_MEASURED_BOOT=y
15+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
16+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
17+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_cnl/cpu_microcode_blob.bin"
18+
CONFIG_HAVE_ME_BIN=y
19+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
20+
CONFIG_BOOTSPLASH=y
21+
# CONFIG_DRIVERS_MTK_WIFI is not set
22+
CONFIG_PAYLOAD_LINUX=y
23+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
24+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_15v3.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=2160
7+
CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=3840
8+
# CONFIG_DRIVERS_INTEL_WIFI is not set
9+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_skl/descriptor.bin"
10+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_skl/me.bin"
11+
CONFIG_HAVE_IFD_BIN=y
12+
CONFIG_BOARD_PURISM_LIBREM15_V3=y
13+
CONFIG_TPM_MEASURED_BOOT=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_skl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_15v4.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=2160
7+
CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=3840
8+
# CONFIG_DRIVERS_INTEL_WIFI is not set
9+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_kbl/descriptor.bin"
10+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_kbl/me.bin"
11+
CONFIG_HAVE_IFD_BIN=y
12+
CONFIG_BOARD_PURISM_LIBREM15_V4=y
13+
CONFIG_TPM_MEASURED_BOOT=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_kbl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_l1um.config_defconfig‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
CONFIG_USE_BLOBS=y
2+
CONFIG_MEASURED_BOOT=y
3+
CONFIG_VENDOR_PURISM=y
4+
CONFIG_CBFS_SIZE=0xC00000
5+
# CONFIG_DRIVERS_INTEL_WIFI is not set
6+
CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="Librem Server L1UM"
7+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_l1um/flashdescriptor.bin"
8+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_l1um/me.bin"
9+
CONFIG_HAVE_IFD_BIN=y
10+
CONFIG_BOARD_PURISM_LIBREM_L1UM=y
11+
CONFIG_NO_POST=y
12+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=3"
13+
CONFIG_PCIEXP_COMMON_CLOCK=y
14+
CONFIG_FSP_EHCI1_ENABLE=y
15+
CONFIG_FSP_EHCI2_ENABLE=y
16+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
17+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_l1um/cpu_microcode_blob.bin"
18+
CONFIG_HAVE_ME_BIN=y
19+
CONFIG_NO_GFX_INIT=y
20+
CONFIG_DRIVERS_GENERIC_CBFS_SERIAL=y
21+
CONFIG_USER_TPM1=y
22+
# CONFIG_CONSOLE_SERIAL is not set
23+
CONFIG_PAYLOAD_LINUX=y
24+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
25+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_l1um_v2.config_defconfig‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
CONFIG_BOOTSPLASH_IMAGE=y
2+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
3+
CONFIG_BOOTSPLASH_CONVERT=y
4+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
5+
CONFIG_VENDOR_PURISM=y
6+
# CONFIG_CONSOLE_SERIAL is not set
7+
# CONFIG_DRIVERS_INTEL_WIFI is not set
8+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_l1um_v2/flashdescriptor.bin"
9+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_l1um_v2/me.bin"
10+
CONFIG_HAVE_IFD_BIN=y
11+
CONFIG_BOARD_PURISM_LIBREM_L1UM_V2=y
12+
CONFIG_TPM_MEASURED_BOOT=y
13+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
14+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
15+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_l1um_v2/cpu_microcode_blob.bin"
16+
CONFIG_HAVE_ME_BIN=y
17+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
18+
CONFIG_BOOTSPLASH=y
19+
# CONFIG_DRIVERS_MTK_WIFI is not set
20+
CONFIG_PAYLOAD_LINUX=y
21+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
22+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_mini.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_USE_OPTION_TABLE=y
2+
CONFIG_BOOTSPLASH_IMAGE=y
3+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
4+
CONFIG_BOOTSPLASH_CONVERT=y
5+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
6+
CONFIG_VENDOR_PURISM=y
7+
CONFIG_CBFS_SIZE=0xC00000
8+
CONFIG_INTEL_GMA_VBT_FILE="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini/vbt.bin"
9+
# CONFIG_DRIVERS_INTEL_WIFI is not set
10+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini/flashdescriptor.bin"
11+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini/me.bin"
12+
CONFIG_HAVE_IFD_BIN=y
13+
CONFIG_BOARD_PURISM_LIBREM_MINI=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_cnl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

‎config/coreboot-librem_mini_v2.config_defconfig‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
CONFIG_USE_OPTION_TABLE=y
2+
CONFIG_BOOTSPLASH_IMAGE=y
3+
CONFIG_BOOTSPLASH_FILE="@BRAND_DIR@/bootsplash.jpg"
4+
CONFIG_BOOTSPLASH_CONVERT=y
5+
CONFIG_BOOTSPLASH_CONVERT_QUALITY=70
6+
CONFIG_VENDOR_PURISM=y
7+
CONFIG_CBFS_SIZE=0xC00000
8+
CONFIG_INTEL_GMA_VBT_FILE="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini/vbt.bin"
9+
# CONFIG_DRIVERS_INTEL_WIFI is not set
10+
CONFIG_IFD_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini_v2/flashdescriptor.bin"
11+
CONFIG_ME_BIN_PATH="3rdparty/purism-blobs/mainboard/purism/librem_cnl/mini_v2/me.bin"
12+
CONFIG_HAVE_IFD_BIN=y
13+
CONFIG_BOARD_PURISM_LIBREM_MINI_V2=y
14+
CONFIG_LINUX_COMMAND_LINE="quiet loglevel=2"
15+
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
16+
CONFIG_CPU_UCODE_BINARIES="3rdparty/purism-blobs/mainboard/purism/librem_cnl/cpu_microcode_blob.bin"
17+
CONFIG_HAVE_ME_BIN=y
18+
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
19+
CONFIG_BOOTSPLASH=y
20+
# CONFIG_DRIVERS_MTK_WIFI is not set
21+
CONFIG_PAYLOAD_LINUX=y
22+
CONFIG_PAYLOAD_FILE="@BOARD_BUILD_DIR@/bzImage"
23+
CONFIG_LINUX_INITRD="@BOARD_BUILD_DIR@/initrd.cpio.xz"

0 commit comments

Comments
 (0)