diff options
Diffstat (limited to 'resources/libreboot/config/grub')
-rw-r--r-- | resources/libreboot/config/grub/ga-g41m-es2l/cbrevision | 2 | ||||
-rw-r--r-- | resources/libreboot/config/grub/ga-g41m-es2l/config | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision b/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision index b48c99ed..4f7158f6 100644 --- a/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision +++ b/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision @@ -1 +1 @@ -29fc9bb855cb878aee263cd1fe110e3bb3e98c80 +55a54f662e2e793306dc7003afbcb82b49db0a8c diff --git a/resources/libreboot/config/grub/ga-g41m-es2l/config b/resources/libreboot/config/grub/ga-g41m-es2l/config index 42a43cc6..cde080c5 100644 --- a/resources/libreboot/config/grub/ga-g41m-es2l/config +++ b/resources/libreboot/config/grub/ga-g41m-es2l/config @@ -139,6 +139,7 @@ CONFIG_BOARD_GIGABYTE_GA_G41M_ES2L=y # CONFIG_BOARD_GIGABYTE_MA785GMT is not set # CONFIG_BOARD_GIGABYTE_MA78GM is not set # CONFIG_DRIVERS_PS2_KEYBOARD is not set +CONFIG_DEVICETREE="devicetree.cb" # CONFIG_CONSOLE_POST is not set CONFIG_DRIVERS_UART_8250IO=y CONFIG_CPU_ADDR_BITS=36 @@ -161,7 +162,6 @@ CONFIG_COREBOOT_ROMSIZE_KB_1024=y # CONFIG_COREBOOT_ROMSIZE_KB_65536 is not set CONFIG_COREBOOT_ROMSIZE_KB=1024 CONFIG_ROM_SIZE=0x100000 -CONFIG_DEVICETREE="devicetree.cb" CONFIG_FMDFILE="" # CONFIG_MAINBOARD_HAS_TPM2 is not set # CONFIG_SYSTEM_TYPE_LAPTOP is not set |