diff options
| author | Otavio Salvador <otavio@ossystems.com.br> | 2018-06-29 15:19:13 -0300 |
|---|---|---|
| committer | Stefano Babic <sbabic@denx.de> | 2018-07-23 10:59:48 +0200 |
| commit | 22dda6bd8b2b495a71d3776cf0b4379fe14fd8bc (patch) | |
| tree | eb0bd37591d30eecaaacf85c6a8a5772aabf03e4 /configs/pico-imx7d_defconfig | |
| parent | 1e646426949a4205ae973c4a7ff7f2aea9f6d9bd (diff) | |
pico-imx7d: Add bootmenu to choose the baseboard
Currently the baseboards do not offer a way to autodetect which one is
in use, so we ask the user if no value has been set.
Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>
Diffstat (limited to 'configs/pico-imx7d_defconfig')
| -rw-r--r-- | configs/pico-imx7d_defconfig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configs/pico-imx7d_defconfig b/configs/pico-imx7d_defconfig index 27e5ca910a..3eb26c75d6 100644 --- a/configs/pico-imx7d_defconfig +++ b/configs/pico-imx7d_defconfig @@ -12,12 +12,13 @@ CONFIG_SPL_LIBDISK_SUPPORT=y CONFIG_IMX_RDC=y CONFIG_DISTRO_DEFAULTS=y CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg" -CONFIG_BOOTCOMMAND="run finduuid; run distro_bootcmd" +CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd" CONFIG_SPL_I2C_SUPPORT=y CONFIG_SPL_USB_HOST_SUPPORT=y CONFIG_SPL_USB_GADGET_SUPPORT=y CONFIG_SPL_USB_SDP_SUPPORT=y # CONFIG_CMD_BOOTD is not set +CONFIG_CMD_BOOTMENU=y # CONFIG_CMD_IMI is not set # CONFIG_CMD_XIMG is not set CONFIG_CMD_DFU=y |