rockchip: arm64: rk3399: add SPL support
[platform/kernel/u-boot.git] / board / terasic /
drwxr-xr-x   ..
drwxr-xr-x - de0-nano-soc
drwxr-xr-x - de1-soc
drwxr-xr-x - sockit