tree de05346a1da651297716ff0610eaf2f619345314
parent 1aa2fbb724749f356b01d0b9a952652eda977eb7
author Otavio Salvador <otavio@ossystems.com.br> 1536067395 -0300
committer Stefano Babic <sbabic@denx.de> 1536930264 +0200

pico-imx6ul: 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>