ART development scripts

.gdbinit

#
# J-LINK GDB SERVER initialization
#
# This connects to a GDB Server listening
# for commands on localhost at tcp port 2331
target remote localhost:2331
# Set JTAG speed to 30 kHz
# monitor speed 30
# Set GDBServer to big endian
# monitor endian big
# Reset the chip to get to a known state.
monitor reset
#
# CPU core initialization (to be done by user)
#
# Set the processor mode
# Set auto JTAG speed
monitor speed auto
# Setup GDB FOR FASTER DOWNLOADS
# set remote memory-write-packet-size 1024
# set remote memory-write-packet-size fixed
# Load the program executable called "image.elf"
# load image.elf
symbol rtthread-stm32f4xx.elf

jlink-flash.rc

si 1
r
h
speed 4800
exec device = STM32F407VG
loadbin rtthread.bin 0x8000000
r
g
qc

setenv.bat

@set path=e:\develop\CodeSourcery\Sourcery G++ Lite\bin;D:\Program Files\SEGGER\JLinkARM_V450j;d:\Python25\Scripts;%PATH%
@set RTT_ROOT=e:\workspace\rt-thread
@set RTT_EXEC_PATH=e:\develop\CodeSourcery\Sourcery G++ Lite\bin
@set RTT_CC=gcc
@cmd