$ gdb
GNU gdb (GDB; openSUSE Tumbleweed) 8.3.1
Copyright (C) 2019 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later 
...
(gdb) file mecrisp-stellaris-stm32wb55.elf
Reading symbols from mecrisp-stellaris-stm32wb55.elf...
(gdb) break uart_init
Breakpoint 1 at 0x8001466: file terminal.s, line 31.
(gdb) break Reset
Breakpoint 2 at 0x8003a9e: file mecrisp-stellaris-stm32wb55.s, line 89.
(gdb) target remote localhost:3333
Remote debugging using localhost:3333
0x1fff5904 in ?? ()
(gdb) monitor reset
Unable to match requested speed 500 kHz, using 480 kHz
Unable to match requested speed 500 kHz, using 480 kHz
(gdb) load
Loading section .text, size 0x3c18 lma 0x8000000
Start address 0x8000000, load size 15384
Transfer rate: 19 KB/sec, 15384 bytes/write.
(gdb) continue
Continuing.
Note: automatically using hardware breakpoints for read-only addresses.