x86: Add a 64-bit 'coreboot64' build
[oweals/u-boot.git] / board / technexion /
drwxr-xr-x   ..
drwxr-xr-x - pico-imx6
drwxr-xr-x - pico-imx6ul
drwxr-xr-x - pico-imx7d
drwxr-xr-x - tao3530