platform-raspberrypi/builder/frameworks/arduino/arduino.py

# ToDo: readout core and call correct builder script (e.g., mbed-core/arduino-core-mbed.py)