https://arduino.github.io/arduino-cli/dev/sketch-build-process/ Maybe adding information about how this process is run in ARM-based boards is worthy