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 | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision b/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision index e785a260..4f7158f6 100644 --- a/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision +++ b/resources/libreboot/config/grub/ga-g41m-es2l/cbrevision @@ -1 +1 @@ -7c2e5396a3d47c64eb5a553fe412aad4c0f8dc1b +55a54f662e2e793306dc7003afbcb82b49db0a8c diff --git a/resources/libreboot/config/grub/ga-g41m-es2l/config b/resources/libreboot/config/grub/ga-g41m-es2l/config index a0c7fc0c..ec4790da 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 |