How to run my FPGA code on BeagleV-Fire

I have the following Verilog code for a root module and an LED switch module.
" module top (
input wire LED_IN,
output wire LED_OUT
);

led_switch u_led_switch (
.LED_IN (LED_IN),
.LED_OUT (LED_OUT)
);

module led_switch (
input wire LED_IN,
output wire LED_OUT ) ;
assign LED_OUT = (LED_IN == 1’b0) ? 1’b1 : 1’b0;
endmodule"

Using Libero SoC v2025.2, I compiled this code and successfully exported the bitstream as a user.spi file.
I have also installed the OS image beaglev-fire-debian-13-iot-v6.6-riscv64-2025-07-21-4gb.img on my BeagleV-Fire.

I would like to know:
How to install the user.spi file onto the BeagleV-Fire.
How to ensure the user.spi file is automatically loaded into the FPGA and executed upon reboot.

I strongly encourage you to stop what you’re doing and start familiarize yourself
with our catalogue of Demos:

Continuing down your current path will only lead you right back
to the first mess you made for yourself here:

Please do spend some time to digest how to cooperatively altering (adding to)
the Gateware while still being able to boot into Linux. Save yourself some headaches!

You need to understand that BeagleV-Fire isn’t “just” a CPU with an FPGA slapped on.
It actually needs the correct Gateware to boot properly.