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 /include/os.h | |
| 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 'include/os.h')
0 files changed, 0 insertions, 0 deletions