Hello,
you are on wrong place, be so kind and visit Arduino forum or related repo on github. I understand you saw “Arduino Mbed Core” but that doesnot mean it has something with Mbed it self. All Arduino targets in Mbed are prepared by Arduino only for Arduino ecosystem.
Look to these folders and you will see.
- Original Mbed - mbed-os/targets/TARGET_STM/TARGET_STM32H7/TARGET_STM32H747xI at master · ARMmbed/mbed-os (github.com)
- Arduino fork - mbed-os/targets/TARGET_STM/TARGET_STM32H7/TARGET_STM32H747xI at 7d043cf5d8d326719b588c17fe3f96bc259ba1ce · arduino/mbed-os (github.com)
BR, Jan