Fixed for updated SMC control, SPI loading in release
- The renode model of the control block was changed to match with the
RTL version, so update load_sel4 accordingly.
- Instead of checking whether we run on FPGA to decide whether to load
from SPI, check whether we're a debug or release build:
- On debug builds, load from the memory mapped binaries (since debug
binaries are enormous, and renode SPI isn't that fast)
- On release builds, load from SPI (and since release builds don't fit
in FPGA, this also means that FPGA always loads from SPI).
Change-Id: I09a50e603e11c020cb6004a921709a44fac88802
3 files changed
