Hi there, sorry if this is not the right place for this and you will have to excuse me; I am an absolute beginner here. I am working through the rust-embedded/discover book and have come across a stumbling block. I am in the gbd terminal (via arm-none-eabi-gdb) and have checked that my pwd is "/src/05-led-roulette" but when I go to
target remote :3333
my openocd console does log
Info : accepting 'gdb' connection on tcp/3333 but doesnt log the device id or flash size and when I go to use the "load" command it just logs
Start address 0x0, load size 0 Transfer rate: 0 bits in <1 sec., I have even tried explicitely passing the filename as
/src/05-led-roulette/target/thumbv7em-none-eabi/debug/led-roulette but still no luck. Is there anything obvious I am missing?