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