Arduino Nano RP2040 Connect


I recently bought an Arduino Nano RP2040 Connect, and I tried to develop some embedded programs with Rust but was unsuccessful. I tried to use the crate rp2040-hal as the microcontroller is an rp2040, but I can't figure out how to flash the board. I dug a little bit, and I found out this board comes with Mbed OS, and I believe that might be something I should use to flash/load my program, but I have no idea how. Or should I install another bootloader?

Anyway, I'm quite confused. My main question would be: Did anyone use this board with Rust embedded?

Thank you!