openocd config
-rw-r--r-- 1025 raspberrypi-native.cfg