##
##  spreadspace rppico utils
##
##
##  Copyright (C) 2022 Christian Pointner <equinox@spreadspace.org>
##
##  This file is part of spreadspace rppico utils.
##
##  spreadspace rppico utils is free software: you can redistribute it and/or modify
##  it under the terms of the GNU General Public License as published by
##  the Free Software Foundation, either version 3 of the License, or
##  any later version.
##
##  spreadspace rppico utils is distributed in the hope that it will be useful,
##  but WITHOUT ANY WARRANTY; without even the implied warranty of
##  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
##  GNU General Public License for more details.
##
##  You should have received a copy of the GNU General Public License
##  along with spreadspace rppico utils. If not, see <http://www.gnu.org/licenses/>.
##

gdb-server:
	$(OPENOCD)/src/openocd -s $(OPENOCD)/tcl -f interface/picoprobe.cfg -f target/rp2040.cfg -c "tcl_port disabled; telnet_port disabled; gdb_port 4242;"
#	$(OPENOCD)/src/openocd -s $(OPENOCD)/tcl -f interface/picoprobe.cfg -f target/rp2040.cfg -c "tcl_port disabled; telnet_port disabled; gdb_port 4242; rp2040.core0 configure -rtos chibios; rp2040.core1 configure -rtos chibios;"

gdb:
	$(TOOLCHAIN_PATH)/bin/arm-none-eabi-gdb -se "build/$(PROJECT).elf" -ex "target extended-remote localhost:4242"