diff --git a/configs/nokia_rx51_defconfig b/configs/nokia_rx51_defconfig index b0a58e52538044fa37cae5402028a66f5085ff8a..1d353520a9fbb3aacdc2486534391dffa23c2c6c 100644 --- a/configs/nokia_rx51_defconfig +++ b/configs/nokia_rx51_defconfig @@ -10,6 +10,7 @@ CONFIG_AUTOBOOT_KEYED=y CONFIG_AUTOBOOT_MENU_SHOW=y CONFIG_USE_PREBOOT=y CONFIG_PREBOOT="run preboot" +CONFIG_CONSOLE_MUX=y CONFIG_HUSH_PARSER=y CONFIG_SYS_PROMPT="Nokia RX-51 # " # CONFIG_CMD_BDI is not set