gdb hangs when executing functions

(gdb) p printf("hi\n")

And never returns.

Check if this is an issue with our firmware

(I'd also like to suggest testing with other esp32 variants but there's no fancy usb jtag in those)