# load ./gdbinit.py
python
import sys, os
sys.path.append(os.path.join(os.environ["XDG_CONFIG_HOME"], "gdb"))
import gdbinit
end

# preferences
try set disassembly-flavor intel
set debuginfod enabled off
set confirm off
set extended-prompt \P
set history save on
set history size 10000000
set history remove-duplicates 100
set style emoji off

# aliases
alias reset = monitor reset
alias -a -- v8m = arm-v8m
alias -a -- v8m tz = arm-v8m trustzone
alias -a -- jlink sv = jlink server
alias -a -- jlink sv wd = jlink server watchdog

# commands
alias mk = !mk
alias ls = !ls