Fabien, Fred, and Peter,
Thank you all for the helpful information.
Might AdaCore’s SMP Leon3/Leon4 fork be merged with the main branch of QEMU in
the somewhat near term?
Fabien, can I obtain the SMP Leon3/Leon4 fork from AdaCore directly?
Gregg Allison
From: Fabien Chouteau
Sent: Wednesday
We are considering the Gaisler GR712RC (2 core LEON3) and GR740 (4 core LEON4)
SoCs for a new deep space mission.
Does QEMU support these two multicore configurations at present? Is there an
effort planned to provide multicore LEONx emulation?
Gregg Allison
[signature_1890048335]
Senior
