Hello everyone, On Fri, Jul 8, 2022 at 12:16 PM Frederic Konrad <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