lpc32xx: devkit3250: add spl build support
[platform/kernel/u-boot.git] / board / timll /
drwxr-xr-x   ..
drwxr-xr-x - devkit3250
drwxr-xr-x - devkit8000