Hello, I am new to tock and I am trying to boot tock using the instructions here: https://github.com/tock/tock/tree/master/boards/esp32-c3-devkitM-1

The kernel panics at kernel/src/utilities/static_init.rs:70:9: Error! Single static_buf!() called twice.

Is this a known issue? What are the best ways to debug the kernel? Is there a way to print stack trace, until I setup jtag?