at91: switch coloured LED to gpio API
[oweals/u-boot.git] / board / BuS /
drwxr-xr-x   ..
drwxr-xr-x - eb_cpu5282
drwxr-xr-x - eb_cpux9k2
drwxr-xr-x - vl_ma2sc