file build/riscv64/pkg-builds/kernel/platform/riscv64-virt/keyronex
add-symbol-file build/riscv64/system-root/usr/bin/posix_server
add-symbol-file -o 0x40000000 build/riscv64/system-root/usr/lib/ld.so
add-symbol-file -o 0x41400000 build/riscv64/system-root/usr/lib/libc.so
add-symbol-file -o 0x41600000 build/riscv64/system-root/usr/lib/libgcc_s.so.1
target remote localhost:1234

source gdb-pt-dump/pt.py
