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 <chout...@adacore.com> Sent: Wednesday, July 20, 2022 8:30 AM To: Frederic Konrad <konrad.frede...@yahoo.fr> Cc: Gregg Allison <gregg.alli...@lasp.colorado.edu>; Peter Maydell <peter.mayd...@linaro.org>; qemu-disc...@nongnu.org; qemu-devel@nongnu.org Subject: Re: Support for Gaisler multicore LEONx SoCs Hello everyone, On Fri, Jul 8, 2022 at 12:16 PM Frederic Konrad <konrad.frede...@yahoo.fr<mailto:konrad.frede...@yahoo.fr>> wrote: About the SMP support AdaCore had a few patches for it, I'll let Fabien answer. The patches for SMP support actually come from Gaisler originally (if I remember correctly). For sure we at AdaCore support SMP Leon3/Leon4 in our fork of QEMU, and I think all the required patches are contributed upstream. -- Fabien Chouteau
