Raspberry Picoprobe + OpenOCD + FreeRTOS & Debugging

Not able to reproduce your issues. Have got

[env:rpipico]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = rpipico
framework = arduino
upload_protocol = picoprobe
debug_tool = picoprobe

and with code src/main.cpp

#include <Arduino.h>
#include <FreeRTOS.h>
#include <task.h>

void blink(void *param) {
  (void) param;
  pinMode(LED_BUILTIN, OUTPUT);
  while (true) {
    digitalWrite(LED_BUILTIN, LOW);
    delay(750);
    digitalWrite(LED_BUILTIN, HIGH);
    delay(250);
  }
}

void setup() {
  Serial.begin(115200);
  xTaskCreate(blink, "BLINK", 128, nullptr, 1, nullptr);
}

void loop() { delay(500); }

I can start debugging just fine with PlatformIO only (no cortex-debug extension needed)

Step-over works and I don’t get thrown out after one line.