picod-debug.cfg references nonexisting rp2040-core0.cfg
maxgerhardt opened this issue · 1 comments
maxgerhardt commented
Not sure if relevant or not since https://github.com/majbthrd/pico-debug has even been archived as of now.
The board/pico-debug.cfg
says
# SPDX-License-Identifier: GPL-2.0-or-later
# pico-debug is a virtual CMSIS-DAP debug adapter
# it runs on the very same RP2040 target being debugged without additional hardware
# https://github.com/majbthrd/pico-debug
source [find interface/cmsis-dap.cfg]
adapter speed 4000
set CHIPNAME rp2040
source [find target/rp2040-core0.cfg]
but there is no such file.
earlephilhower commented
Yeah, looks like it's abandoned. Will just from the Arduino Core menus and P.IO JSONs.