Frage an die Arduino Experten:
Bekanntlich hat ja Arduino für neuere Boards wie Giga, Portenta, Opta keine eigenen Treiber entwickelt, sondern Mbed OS genommen.
Dazu gab es mal eine Doku, die ich nun nicht mehr finde. Da gab es ein Bild mit Bootloader als unterste Schicht, darauf eine HAL, darauf Mbed OS, auf dem dann der Sketch läuft.
Alles was ich noch finde ist das hier:
https://blog.arduino.cc/2019/07/31/why-we-chose-to-build-the-arduino-nano-33-ble-core-on-mbed-os/
https://github.com/arduino/ArduinoCore-mbed
Der Sketch wird scheinbar über einen Mbed OS Arduino Namespace realisiert: digitalWrite() = arduino::digitalWrite()
Immerhin merkt man einfach, ob man ein Arduino mit Mbed OS hat:
Das Blinky, das auf dem Mega 1.5 KB hat, das hat auf dem Giga 134 KB