The repository contains the Arduino APIs and IDE integration files targeting a generic mbed-enabled board
Question: "I want to debug my ArduinoCore-mbed based sketch using traditional debugging tools, i.e. gdb via SWD interface. However, the debugger is unable to locate the sources for all files, particular the mbed-os files."
Answer: This is due to the fact that we pre-compile the mbed-os code into a static library libmbed.a
. Information on how to recompile libmbed.a
for source code debugging can be found here. The Arduino Documentation also contains articles explaining how to debug via Segger J-Link and Lauterbach TRACE32.
mkdir -p $sketchbook/hardware/arduino-git
cd $sketchbook/hardware/arduino-git
git clone git@github.com:arduino/ArduinoCore-mbed mbed
Clone https://github.com/arduino/ArduinoCore-API into a directory of your choice.
git clone git@github.com:arduino/ArduinoCore-API