Support for Gaisler multicore LEONx SoCs

Support for Gaisler multicore LEONx SoCs

[Gregg Allison]

[-- Attachment #1.1: Type: text/plain, Size: 599 bytes --]

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 Professional Research Assistant
Flight Software Engineering Department
Laboratory for Atmospheric and Space Physics
University of Colorado Boulder
1234 Innovation Drive
Boulder CO 80303
303-735-0500 (o)
303-435-7491 (c)
gregg.allison@lasp.colorado.edu<mailto:gregg.allison@lasp.colorado.edu>


[-- Attachment #1.2: Type: text/html, Size: 3569 bytes --]

[-- Attachment #2: image001.png --]
[-- Type: image/png, Size: 9000 bytes --]

Re: Support for Gaisler multicore LEONx SoCs

[Peter Maydell]

[-- Attachment #1: Type: text/plain, Size: 662 bytes --]

On Thu, 7 Jul 2022 at 20:54, Gregg Allison <Gregg.Allison@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 can
see there have been no Leon-related commits for a few years, so I don't
think this area of QEMU is being actively developed. We seem to have
currently LEON2 and LEON3 CPU support, and one machine type, the
"Leon-3 generic" machine.

thanks
-- PMM

[-- Attachment #2: Type: text/html, Size: 1859 bytes --]

Re: Support for Gaisler multicore LEONx SoCs

[Frederic Konrad]

[-- Attachment #1: Type: text/plain, Size: 1074 bytes --]

  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.maydell@linaro.org> a écrit :  
 
 

On Thu, 7 Jul 2022 at 20:54, Gregg Allison <Gregg.Allison@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

  

[-- Attachment #2: Type: text/html, Size: 3685 bytes --]

Re: Support for Gaisler multicore LEONx SoCs

[Fabien Chouteau]

[-- Attachment #1: Type: text/plain, Size: 433 bytes --]

Hello everyone,

On Fri, Jul 8, 2022 at 12:16 PM Frederic Konrad <konrad.frederic@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

[-- Attachment #2: Type: text/html, Size: 1192 bytes --]

RE: Support for Gaisler multicore LEONx SoCs

[Gregg Allison]

[-- Attachment #1: Type: text/plain, Size: 1074 bytes --]

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 <chouteau@adacore.com>
Sent: Wednesday, July 20, 2022 8:30 AM
To: Frederic Konrad <konrad.frederic@yahoo.fr>
Cc: Gregg Allison <gregg.allison@lasp.colorado.edu>; Peter Maydell <peter.maydell@linaro.org>; qemu-discuss@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.frederic@yahoo.fr<mailto:konrad.frederic@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

[-- Attachment #2: Type: text/html, Size: 5673 bytes --]

Re: Support for Gaisler multicore LEONx SoCs

[Fabien Chouteau]

[-- Attachment #1: Type: text/plain, Size: 554 bytes --]

Hi all,

On Mon, Aug 1, 2022 at 6:42 PM Gregg Allison <
Gregg.Allison@lasp.colorado.edu> wrote:

> Fabien, can I obtain the SMP Leon3/Leon4 fork from AdaCore directly?
>

Our fork is here: https://github.com/adacore/qemu/tree/qemu-stable-7.0.0
There is much more than SMP Leon3 in there :)

I add in copy Clément Chigot who is in charge of contribution to upstream
QEMU now.
I think we can put SMP Leon3 on top of the TODO list for contributions.
That being said, no promises on when it can be done :)

Regards,

-- 
Fabien Chouteau

[-- Attachment #2: Type: text/html, Size: 1424 bytes --]