is ModbusMaster compatible with GIGA R1 ?

[teldrive-jpg]

I am trying to migrate a Modbus code from arduino UNO to GIGA R1, to take benefit of the display

The GIGA R1 is based on the STM32H7 microcontroller and uses the Arduino Mbed OS core, which does not support SoftwareSerial
but it has been solved because GIGA R1 has many serial ports, so using serial RX(15) & TX(14) seems to be solved this issue

But not sure if ModbusMaster is compatible with this Giga R1 card

please help