RISC-V Simulation Support
24 Feb
2024
24 Feb
'24
2:15 a.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
899
Age (days ago)
902
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ivan Velickovic -
Jeffery Lim