C030-R412m: Digital IO pins HIGH on reset!

Hi!

I use the Ublox C030-R412m board. If I attach the USB serial or push the reset button, the digital IO goes high. Normally the digital IO should be set as input on reset. It does not depend on my program, because I have also tested an “empty” program, whit the same result. How can I configure or disable this functionality?

Mbed-OS: 5.15.7
Board: C030-R412m
STM: STM32f437VG
Mbed-OS Github issue: Github.com

Here the programs used to test this defect:

// #include "mbed.h"
     
int main()
{
    while(true) {}
}

and

#include "mbed.h"
     
int main()
{
    thread_sleep_for(3000);
    NVIC_SystemReset();
}

SOLVED by reset some (required by my application) GPIO pins on ublox_board_init() in file mbed-os/targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F437xG/TARGET_UBLOX_C030/ublox_low_level_api.c. See line 25 to 28: Mbed OS 5.15.8: GPIO reset some pins at init. · GitHub

How can I override ublox_low_level_api.c in my application?