In the big list of devices, I think having a column for simulation supported would be sensible. When starting to tinker, quickly finding out which platform has simulation support is good. Some (most!) of the hardware pages state this individually, but not all are clear on that. For example the Sabre Lite page contains the following phrase in the code example
# If your target binaries can be executed in an emulator/simulator, and if
# our build system happens to support that target emulator, then this script
# might work for you:
Now below, it says:
If you plan to use the ./simulate script, please be sure to add the -DSIMULATION=1 argument when running cmake.
That does not really confirm whether this target has support for simulation, or whether this is generic information on the state of affairs on simulation. Having it all in the overview list once would greatly help to quickly pick a desirable target.
In the big list of devices, I think having a column for
simulation supportedwould be sensible. When starting to tinker, quickly finding out which platform has simulation support is good. Some (most!) of the hardware pages state this individually, but not all are clear on that. For example the Sabre Lite page contains the following phrase in the code exampleNow below, it says:
That does not really confirm whether this target has support for simulation, or whether this is generic information on the state of affairs on simulation. Having it all in the overview list once would greatly help to quickly pick a desirable target.
https://github.com/seL4/docs/blob/e9e628315e6dc8040443a6062a80e5c1d0e0fe51/Hardware/index.md?plain=1#L73