dbgpause not needed

This commit is contained in:
Martin Brodbeck 2024-02-16 20:04:53 +01:00
parent 375c328dca
commit e99c590cda

View file

@ -89,7 +89,7 @@ void core1_main()
int main()
{
timer_hw->dbgpause = 1; // workaround for problem with debug and sleep_ms
//timer_hw->dbgpause = 2; // workaround for problem with debug and sleep_ms
// https://github.com/raspberrypi/pico-sdk/issues/1152#issuecomment-1418248639
setup();