Hello,
What does the Simulation column mean in the RISC-V table in https://docs.sel4.systems/Hardware/?
Does it mean that spike is the only supported platform to run qemu simulations? All the other platforms can only be run on hardware?
Thanks,
Jeff