How to Load Two Binaries with Debugger/GDB

This is in fact already possible, I was just misunderstanding the docs initially.

You can load two ELFs, in my particular case, a kernel and a userspace, using the following option in your platformio.ini.

debug_load_cmds = 
    load /path/to/external/firmware.elf
    load

The second load is for the target created from your actual PlatformIO project, which is inferred.

-Kent

2 Likes