Hi! I want to improve debugging of rpi pico and try to enable Profiling. Something going wrong and build failed. VGDB tell me that some files is missing, but they don’t.
../../../pico-sdk/src/rp2_common/hardware_timer/timer.c:8:10: fatal error: hardware/irq.h: No such file or directory
8 | #include “hardware/irq.h”
| ^~~~~~~~~~~~~~~~
C:/Users/kochnevsv/AppData/Local/VisualGDB/EmbeddedEFPs/Profiler/ProfilerDriver_RP2040.cpp:3:10: fatal error: pico/stdio/driver.h: No such file or directory
3 | #include “pico/stdio/driver.h”
| ^~~~~~~~~~~~~~~~~~~~~
Then i turn on Chronometer, but it always show me 0sec.
Any recomendations?