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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
