Hi Jeffrey
I believe the "Simulation" means whether simulation will work with seL4 for that platform. I think what counts as a platform that supports simulation is whether or not passing "-DSIMULATION=1" to something like seL4test is supported. However, I'm not 100% sure this is what it means, just my guess.
That page is missing the QEMU RISC-V virt platform, which is what primarily used for simulation on RISC-V. Some SoCs such as the Polarfire and SiFive Freedom U540 (https://www.qemu.org/docs/master/system/target-riscv.html) are emulated by QEMU but simulating seL4 on those SoCs is not something regularly tested.
To use sel4test with QEMU RISC-V virt, you can run the following commands:
mkdir sel4test && cd sel4test
repo init -u https://github.com/seL4/sel4test-manifest.git && repo sync
mkdir qemu && cd qemu
../init-build.sh -DPLATFORM=qemu-riscv-virt
This will produce a `simulate` script in the build directory that will execute QEMU with the right commands to simulate seL4test.
Ivan
On 24/2/24 02:15, Jeffery Lim wrote:
[Some people who received this message don't often get email from lurking@fastmail.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]
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