rockchip: arm64: rk3399: add SPL support
[platform/kernel/u-boot.git] / board / atmark-techno /
drwxr-xr-x   ..
drwxr-xr-x - armadillo-800eva