drivers/bcm2835gpio: Migrate to adapter gpio commands
[fw/openocd] / tcl / target / marvell /
drwxr-xr-x   ..
-rw-r--r-- 122 88f3710.cfg
-rw-r--r-- 122 88f3720.cfg
-rw-r--r-- 2064 88f37x0.cfg