Debugging with the Debug Probe by Raspberry Pi

[ZinnerC]

Hi,
I try to use the new Debug Probe by Raspberry Pi.

I would like to get started to debug my first simple sketch with the probe. Simply to get it running before tackling greater scripts.
The script is the follwing:

const static uint8_t PIN_intLED = 25;

const static uint8_t PIN_UART_TX = 0;
const static uint8_t PIN_UART_RX = 1;

uint16_t blink_interval = 100;
uint32_t blink_time = 0;



void setup()
{
    // Serial1.setRX(PIN_UART_RX);
    // Serial1.setTX(PIN_UART_TX);
    // Serial1.begin(115200);
    // Serial1.println("SETUP");
    pinMode(PIN_intLED,OUTPUT);

    digitalWrite(PIN_intLED,HIGH);
}

void loop()
{
    if (millis() >= (blink_time + blink_interval) )
    {
        blink_time = millis();
        digitalWrite(PIN_intLED,!digitalRead(PIN_intLED));
        // Serial1.println("blink");
    }
}

I came so far that I have the debugger running if I have the LED toggling on of without the use of millis. But when I enable basicale the non-blocking element of the blink sketch it get it not working.

At one point the debugger asks for "timer.c." which it can not find. Possible it does also not exist "there".
"There" seams to be at /home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/hardware_timer/timer.c
Could anybody tell how I get it to look in my local path. I think it is possible rather simple. I only don't get where to adjust this.

[earlephilhower]

See https://sourceware.org/gdb/current/onlinedocs/gdb.html/Source-Path.html for

set substitute-path from to

    Define a source path substitution rule, and add it at the end of the current list of
    existing substitution rules. If a rule with the same from was already defined, then
    the old rule is also deleted.

    For example, if the file /foo/bar/baz.c was moved to /mnt/cross/baz.c, then the command

        (gdb) set substitute-path /foo/bar /mnt/cross

    will tell GDB to replace ‘/foo/bar’ with ‘/mnt/cross’, which will allow GDB to find the
    file baz.c even though it was moved.

    In the case when more than one substitution rule have been defined, the rules are
    evaluated one by one in the order where they have been defined. The first one
    matching, if any, is selected to perform the substitution.

    For instance, if we had entered the following commands:

        (gdb) set substitute-path /usr/src/include /mnt/include
        (gdb) set substitute-path /usr/src /mnt/src

    GDB would then rewrite /usr/src/include/defs.h into /mnt/include/defs.h by using
    the first rule. However, it would use the second rule to rewrite /usr/src/lib/foo.c into /mnt/src/lib/foo.c.

[ZinnerC]

Thanks for that tip. I tried to adapt it for may launch.json

{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387

    "version": "0.2.0",
    "configurations": [
        {
            "name": "Pico Probe",
            "cwd": "${workspaceRoot}",
            "executable": "${workspaceRoot}/build/blink.ino.elf",
            "request": "launch",
            "type": "cortex-debug",
            "servertype": "openocd",
            "device": "Pico2040",
            // "runToMain": true,
            "runToEntryPoint": "setup",
            "configFiles": ["interface/cmsis-dap.cfg", "target/rp2040.cfg"],
            "searchDir": ["C:/Users/CassianZinner/Documents/openOCD/openocd-v0.12.0/share/openocd/scripts"],
            "svdFile": "C:/Users/CassianZinner/Documents/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2040/hardware_regs/rp2040.svd",
            "postRestartCommands": [
                "break main",
                "continue"
            ],
            "showDevDebugOutput": "parsed",
            "openOCDLaunchCommands": ["adapter speed 5000"],
            "liveWatch": {
                "enabled": false,
                "samplesPerSecond": 4
            },
            // "setupCommands": [
            //     {
            //         "text": "set substitute-path /home/earle C:/Users/CassianZinner/Documents",
            //         "description": "Substitute remote path with workspace path",
            //         "ignoreFailures": false
            //     }
            // ]
            "preLaunchCommands": [
                "set substitute-path /home/earle C:/Users/CassianZinner/Documents"
            ],
            // "postLaunchCommands": [
            //     "set substitute-path /home/earle C:/Users/CassianZinner/Documents"
            // ],
            // "preRestartCommands": [
            //     "set substitute-path /home/earle C:/Users/CassianZinner/Documents"
            // ],
            // "postStartSessionCommands": [
            //     "set substitute-path /home/earle C:/Users/CassianZinner/Documents"
            // ],
            "postResetCommands": [
                "set substitute-path /home/earle C:/Users/CassianZinner/Documents"
            ]
        }
    ]
}

I still don't get it working:

received signal SIGINT, Interrupt.
GDB -> App: {"output":"","outOfBandRecord":[{"isStream":true,"type":"console","content":"divmod_u32u32_unsafe () at /home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S:178\n"}]}
divmod_u32u32_unsafe () at /home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S:178
GDB -> App: {"output":"","outOfBandRecord":[{"isStream":true,"type":"log","content":"warning: Source file is more recent than executable.\n"}]}
warning: Source file is more recent than executable.
GDB -> App: {"output":"","outOfBandRecord":[{"isStream":true,"type":"console","content":"178\t    cmp r1, #0\n"}]}
178	    cmp r1, #0
GDB -> App: {"output":"","outOfBandRecord":[{"isStream":false,"type":"exec","asyncClass":"stopped","output":[["reason","signal-received"],["signal-name","SIGINT"],["signal-meaning","Interrupt"],["frame",[["addr","0x2000099c"],["func","divmod_u32u32_unsafe"],["args",[]],["file","/home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\rp2_common\\pico_divider\\divider.S"],["line","178"],["arch","armv6s-m"]]],["thread-id","1"],["stopped-threads","all"]]}]}
mi2.status = stopped
34-thread-list-ids
GDB -> App: {"output":"","token":34,"outOfBandRecord":[],"resultRecords":{"resultClass":"done","results":[["thread-ids",[["thread-id","1"]]],["current-thread-id","1"],["number-of-threads","1"]]}}
35-thread-info 1
GDB -> App: {"output":"","token":35,"outOfBandRecord":[],"resultRecords":{"resultClass":"done","results":[["threads",[[["id","1"],["target-id","Remote target"],["frame",[["level","0"],["addr","0x2000099c"],["func","divmod_u32u32_unsafe"],["args",[]],["file","/home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\rp2_common\\pico_divider\\divider.S"],["line","178"],["arch","armv6s-m"]]],["state","stopped"]]]]]}}
36-stack-list-frames --thread 1 0 19
GDB -> App: {"output":"","token":36,"outOfBandRecord":[],"resultRecords":{"resultClass":"done","results":[["stack",[["frame",[["level","0"],["addr","0x2000099c"],["func","divmod_u32u32_unsafe"],["file","/home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\rp2_common\\pico_divider\\divider.S"],["line","178"],["arch","armv6s-m"]]],["frame",[["level","1"],["addr","0x100032b8"],["func","us_to_ms"],["file","c:\\users\\cassianzinner\\documents\\arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\common\\pico_time\\include\\pico/time.h"],["fullname","c:\\users\\cassianzinner\\documents\\arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\common\\pico_time\\include\\pico\\time.h"],["line","71"],["arch","armv6s-m"]]],["frame",[["level","2"],["addr","0x100032b8"],["func","to_ms_since_boot"],["file","c:\\users\\cassianzinner\\documents\\arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\common\\pico_time\\include\\pico/time.h"],["fullname","c:\\users\\cassianzinner\\documents\\arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\common\\pico_time\\include\\pico\\time.h"],["line","84"],["arch","armv6s-m"]]],["frame",[["level","3"],["addr","0x100032b8"],["func","millis"],["file","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\cores\\rp2040\\delay.cpp"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\cores\\rp2040\\delay.cpp"],["line","58"],["arch","armv6s-m"]]],["frame",[["level","4"],["addr","0x1000322a"],["func","loop"],["file","C:\\Users\\CassianZinner\\Documents\\GitLab\\fw_development\\DEBUG_rp2040\\blink/blink.ino"],["fullname","C:\\Users\\CassianZinner\\Documents\\GitLab\\fw_development\\DEBUG_rp2040\\blink\\blink.ino"],["line","24"],["arch","armv6s-m"]]],["frame",[["level","5"],["addr","0x10003582"],["func","main"],["file","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\cores\\rp2040\\main.cpp"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\cores\\rp2040\\main.cpp"],["line","148"],["arch","armv6s-m"]]]]]]}}
37-stack-info-frame --thread 1 --frame 0
GDB -> App: {"output":"","token":37,"outOfBandRecord":[],"resultRecords":{"resultClass":"done","results":[["frame",[["level","0"],["addr","0x2000099c"],["func","divmod_u32u32_unsafe"],["file","/home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/rp2_common/pico_divider/divider.S"],["fullname","C:\\Users\\CassianZinner\\Documents\\Arduino\\hardware\\pico\\rp2040\\pico-sdk\\src\\rp2_common\\pico_divider\\divider.S"],["line","178"],["arch","armv6s-m"]]]]}}
38-stack-list-variables --thread 1 --frame 0 --simple-values
GDB -> App: {"output":"","token":38,"outOfBandRecord":[],"resultRecords":{"resultClass":"done","results":[["variables",[]]]}}

Since I can use the buttons on the debugger and jump around in the code, I assume some of it works. Try actually to go away from the Serial.print debugging approach.

[ZinnerC]

Using the terminal instead of the GUI seams to work somehow. Eventough, the wrong paths are shown (\home\earle)

Any ideas whats going on? Whit these lines below I can make the led ON/OFF when continueing....

[earlephilhower]

No real idea, this is all GDB internal stuff which we don't touch.

I might try adding overrides for the pico-sdk directory too, since it was built as a .a and maybe GDB is parsing it differently.

Say, override /home/earle/Arduino/hardware/pico/rp2040/pico-sdk/src/ with C:/Users/CassianZinner/Documents/Arduino/hardware/pico/rp2040-sdk/src, maybe?

[ZinnerC]

Thanks though. I appreciate the help very much. I will give this suggestion a try.