diff options
| -rw-r--r-- | config/u-boot/gru_bob/config/default | 2 | ||||
| -rw-r--r-- | config/u-boot/gru_kevin/config/default | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/u-boot/gru_bob/config/default b/config/u-boot/gru_bob/config/default index b92fdd0b..ca9b3de8 100644 --- a/config/u-boot/gru_bob/config/default +++ b/config/u-boot/gru_bob/config/default @@ -2192,7 +2192,7 @@ CONFIG_STRTO=y CONFIG_SPL_STRTO=y CONFIG_SYS_HZ=1000 CONFIG_SPL_USE_TINY_PRINTF=y -# CONFIG_PANIC_HANG is not set +CONFIG_PANIC_HANG=y CONFIG_REGEX=y CONFIG_LIB_RAND=y # CONFIG_LIB_HW_RAND is not set diff --git a/config/u-boot/gru_kevin/config/default b/config/u-boot/gru_kevin/config/default index 22d11a8f..a99adf63 100644 --- a/config/u-boot/gru_kevin/config/default +++ b/config/u-boot/gru_kevin/config/default @@ -2192,7 +2192,7 @@ CONFIG_STRTO=y CONFIG_SPL_STRTO=y CONFIG_SYS_HZ=1000 CONFIG_SPL_USE_TINY_PRINTF=y -# CONFIG_PANIC_HANG is not set +CONFIG_PANIC_HANG=y CONFIG_REGEX=y CONFIG_LIB_RAND=y # CONFIG_LIB_HW_RAND is not set |