RIOT/boards/rpi-pico/dist/openocd.cfg

source [find target/rp2040.cfg]
set USE_CORE 0
set RESCUE 1
$_TARGETNAME_0 configure -rtos auto
adapter speed 4000
boards/rpi-pico: update openocd.cfg file Signed-off-by: dylad <dylan.laduranty@mesotic.com> 2023-06-04 11:29:52 +02:00			`source [find target/rp2040.cfg]`
			`set USE_CORE 0`
			`set RESCUE 1`
			`$_TARGETNAME_0 configure -rtos auto`
boards/rpi-pico: add the Raspberry Pi Pico Co-authored-by: Fabian Hüßler <fabian.huessler@st.ovgu.de> Co-authored-by: nickw96 <nick.weiler@st.ovgu.de> Co-authored-by: MaestroOnICe <justus.krebs@st.ovgu.de> Co-authored-by: Franz2000 <franz.freitag@st.ovgu.de> 2021-06-01 21:31:52 +02:00			`adapter speed 4000`