Is there a way to write the original Linux booting file on the microSD provided with the DE10 Nano board?

I have by accident re-written the boot file provided with the DE10 Nano. I would like to know which specific file should I download and the complete procedure of re-writing onto the microSD card.