target extended-remote localhost:3333

# to debug single core:
# in u-boot: setenv smp off ; boot

# substitute appropriate value from u-boot startup message (relocation offset)
add-symbol-file ../../../u-boot/u-boot 0x3af3a000
add-symbol-file ../../../trusted-firmware-a/build/rpi3/debug/bl31/bl31.elf 0x08400000
add-symbol-file ../../../optee_os/out/arm/core/tee.elf 0x08420000
add-symbol-file ../../../linux/vmlinux 0xffffffc000080800

mon gdb_breakpoint_override hard

flushregs

# bl31_entrypoint
#b *0x08400000

# TEE entrypoint
#b *0x08420000

# Linux; primary core entry. 
# Symbols for initial setup _do not align with vmlinux (elf)_. Debug at instruction
# level only.
# Symbols post MMU enable are correct.
#b *0x080000

mon halt
