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
758
Age (days ago)
761
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ivan Velickovic -
Jeffery Lim