spl: stm32f7: add kernel boot support
[platform/kernel/u-boot.git] / board / Marvell /
drwxr-xr-x   ..
drwxr-xr-x - aspenite
drwxr-xr-x - db-88f6720
drwxr-xr-x - db-88f6820-amc
drwxr-xr-x - db-88f6820-gp
drwxr-xr-x - db-mv784mp-gp
drwxr-xr-x - dreamplug
drwxr-xr-x - gplugd
drwxr-xr-x - guruplug
drwxr-xr-x - mvebu_armada-37xx
drwxr-xr-x - mvebu_armada-8k
drwxr-xr-x - openrd
drwxr-xr-x - sheevaplug