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 <[email protected]> Sent: Wednesday, July 20, 2022 8:30 AM To: Frederic Konrad <[email protected]> Cc: Gregg Allison <[email protected]>; Peter Maydell <[email protected]>; [email protected]; [email protected] Subject: Re: Support for Gaisler multicore LEONx SoCs Hello everyone, On Fri, Jul 8, 2022 at 12:16 PM Frederic Konrad <[email protected]<mailto:[email protected]>> 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
