diff options
Diffstat (limited to 'configs/riotboard_defconfig')
| -rw-r--r-- | configs/riotboard_defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/riotboard_defconfig b/configs/riotboard_defconfig index dfc4c0f258..ebc38dce18 100644 --- a/configs/riotboard_defconfig +++ b/configs/riotboard_defconfig @@ -21,7 +21,6 @@ CONFIG_SPL_SERIAL_SUPPORT=y CONFIG_SPL=y CONFIG_SPL_LIBDISK_SUPPORT=y CONFIG_DISTRO_DEFAULTS=y -CONFIG_SYS_EXTRA_OPTIONS="DDR_MB=1024" CONFIG_BOOTCOMMAND="run finduuid; run distro_bootcmd" # CONFIG_CONSOLE_MUX is not set CONFIG_SYS_CONSOLE_IS_IN_ENV=y |