Does Murax hello_world.hex fit for ice40-Hx8K?

[fatalfeel]

Makefile -> SIFIVE_GCC_PACK = no #then export PATH=$PATH:/opt/riscv32i/bin export AR=riscv32-unknown-elf-ar export AS=riscv32-unknown-elf-as export CC=riscv32-unknown-elf-gcc export CXX=riscv32-unknown-elf-g++ export LD=riscv32-unknown-elf-ld cd $HOME/icesugar/icesugar/src/advanced/VexRiscv/src/main/c/murax/hello_world make

1, can the the hex fit for ice40-Hx8K? that use in SpinalVerilog(Murax(MuraxConfig.default.copy(onChipRamSize = 8 kB, onChipRamHexFile = "src/main/c/murax/hello_world/build/hello_world.hex"))) 2. need riscv32i gcc or riscv32im gcc to compile hello_world?