diff options
Diffstat (limited to 'configs/devkit8000_defconfig')
| -rw-r--r-- | configs/devkit8000_defconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/devkit8000_defconfig b/configs/devkit8000_defconfig index 2c3dc314c3..8347b67681 100644 --- a/configs/devkit8000_defconfig +++ b/configs/devkit8000_defconfig @@ -12,6 +12,7 @@ CONFIG_SPL=y CONFIG_DISTRO_DEFAULTS=y CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x4020ff00 +CONFIG_SYS_MONITOR_LEN=262144 CONFIG_BOOTCOMMAND="run autoboot" CONFIG_USE_PREBOOT=y CONFIG_SYS_CONSOLE_INFO_QUIET=y |