Hi Alex:
You can find Morello support in QEMU CHERI (https://github.com/CTSRD-CHERI/qemu). This includes support for both full system and CheriABI userlevel emulation. Most folk build it using cheribuild (https://github.com/CTSRD-CHERI/cheribuild), but it can of course be built manually. It’s quite a lot faster than the FVP, but one presumes its level of correctness/accuracy is rather lower, not just because it’s gone through less verification than the FVP, but also because it is “Morello features added to the baseline version of Armv8-a in QEMU”, which is not the same as the 8.2 found in the Neoverse N1 baseline used for Morello.
Robert
On 29 Jun 2022, at 11:44, Alex Coplan via Gnu-morello gnu-morello@op-lists.linaro.org wrote:
Where are you getting your QEMU from, out of interest? I wasn't aware of a QEMU port for Morello.
Note that the binaries that GCC produces don't include the sort of firmware that would need to boot on real hardware. There may of course also be incompatibilities in the memory map that QEMU is using and that which the binary expects.
Thanks, Alex
At this point, qemu hangs up eating a lot of CPU and has to be killed.
Any suggestions on how I can run the binaries?
Vadim
-- Senior Research Associate Department of Computer Science and Technology University of Cambridge http://zaliva.org/
-- Gnu-morello mailing list -- gnu-morello@op-lists.linaro.org To unsubscribe send an email to gnu-morello-leave@op-lists.linaro.org