Hi Gregg, AFAIK the leon3-generic can emulate the GR712RC with some little differences in the memorymap and / or timer / CPU count. (You should be able to boot the Gaisler monocore linux with it).
About the SMP support AdaCore had a few patches for it, I'll let Fabien answer. Regards,Fred Le jeudi 7 juillet 2022 à 22:30:46 UTC+2, Peter Maydell <peter.mayd...@linaro.org> a écrit : On Thu, 7 Jul 2022 at 20:54, Gregg Allison <gregg.alli...@lasp.colorado.edu> wrote: 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? I've cc'd the people listed in MAINTAINERS for Leon, but as far as I cansee there have been no Leon-related commits for a few years, so I don'tthink this area of QEMU is being actively developed. We seem to havecurrently LEON2 and LEON3 CPU support, and one machine type, the"Leon-3 generic" machine. thanks -- PMM
