Maxim MAX32625PICO and MAX32631 (platformio.ini settings)


Sorry if this question sounds stupidly basic but I feel I am walking in circles.

I need to solve some level of confusion I have reached.
I am working with the Maxim (now Analog Devices) MAX32625PICO development board and have been able so far to:

  1. Load the MAX32625PICO itself, with the bare-bones blinking example and therefore overwriting the DAPLINK “agent” that I understand allows this board to program other targets, that are connected by the ribbon cable (JTAG I assume?). The INI file is in this case:

platform = maxim32
framework = mbed
board = max32625pico
upload_port = D:

For this to happen I boot the board into the MAINTENANCE mode. I am able to upload the example by either dropping the BIN file directly into the MAINTENANCE folder or using the right arrow “button” in the PlatformIO IDE at the bottom of the window.

  1. To restore the DAPLINK BIN image into the MAX32625PICO board, to bring it back to be a programming board for MAX32xxxx custom targets. This is my intended usage of the PICO board anyway.

I still do not have my custom board (still in production) that is implemented with a MAX32631ICQ+ cpu, but despite of that, I wanted to excersize my ability to create a test project for it (maybe the same bare bones blinking test) and be able to compile it successfully. So at the PlatformIO New-Project wizard, I selected “Maxim ARM mbed Enabled Development Platform for MAX32600” assuming it was the generic environment for the family. But the wizard fails with:

MAX32600\r\nHARDWARE: MAX32600 24MHz, 32KB RAM, 256KB Flash\r\nDEBUG: Current (cmsis-dap) On-board (cmsis-dap)\r\nPACKAGES: \r\n - framework-mbed @ 6.60600.210128 (6.6.0) \r\n - toolchain-gccarmnoneeabi @ 1.80201.181220 (8.2.1)\r\nCollecting mbed sources…\r\nFailed to extract configuration for MAX32600MBED.\r\nIt might not be supported in the this Mbed release.\r\n========================== [FAILED] Took 1.15 seconds =========================="

I assume this is not a problem as I can create a max32625pico project and edit the INI file to my new needs and here is where I get stuck. I tried so many combinations without being able to compile the empty main() function program successfully that I think it is pointless to even copy anything.
Any pointer where to find an INI file example where a max32625pico will be used to program another target of that family and maybe help me understand better if “board =” referrs to the programming board (in this case max32625pico) or if it referrs to the final target? Or is “board_build.mcu =” the correct one?

Any help or hint very much appreciated!