mirror of
https://github.com/OpenRTX/OpenRTX
synced 2026-08-08 12:29:06 -04:00
95fdcd5fe2
This change removes the old copyright header from project sources and replaces it with a new simplified SPDX-compliant header. Note that files that were missing the header but reasonably understood to be licensed according to the root license were not corrected. Signed-off-by: Ryan Turner <ryan@turnrye.com>
19 lines
515 B
INI
19 lines
515 B
INI
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
# SPDX-FileCopyrightText: Copyright 2020-2026 OpenRTX Contributors
|
|
#
|
|
# OpenOCD configuration file for in-circuit debugging the stm32f4discovery
|
|
# To start debugging issue those commands:
|
|
# arm-miosix-eabi-gdb main.elf
|
|
# target remote :3333
|
|
# monitor reset halt
|
|
# load
|
|
# break main
|
|
# continue
|
|
#
|
|
|
|
# Daemon configuration
|
|
telnet_port 4444
|
|
gdb_port 3333
|
|
|
|
# Board support is available in newer oocd
|
|
source [find board/stm32f4discovery.cfg]
|