RISC-V Simulation Support
23 Feb
2024
23 Feb
'24
3:15 p.m.
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
928
Age (days ago)
931
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ivan Velickovic -
Jeffery Lim