GPIO pins set to HIGH while reseting

Hello all,

I am new to this field and recently started developing some code for the HiFive1 (FE310-G000) board.

In my application which is written in C, I need to create a trigger for synchronization with another device that communicates with the board. I thought that it was a good idea to use the GPIO pin that is related with the blue LED (~5 pin number) through the calls metal_led_{on,off}. However, if I reset the board during my experiments this GPIO pin is set HIGH while the board restarts which results in triggering the other device.

Is there any way to have a different behavior during the boot process (something concerning with out_xor) or I should use another GPIO pin?

Thanks,
Stef