Re: Support for Gaisler multicore LEONx SoCs

[Fabien Chouteau]

Hi all,

On Mon, Aug 1, 2022 at 6:42 PM Gregg Allison <
gregg.alli...@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

RE: Support for Gaisler multicore LEONx SoCs

[Gregg Allison]

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 
Sent: Wednesday, July 20, 2022 8:30 AM
To: Frederic Konrad 
Cc: Gregg Allison ; Peter Maydell 
; 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 
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

Re: Support for Gaisler multicore LEONx SoCs

[Fabien Chouteau]

Hello everyone,

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

Re: Support for Gaisler multicore LEONx SoCs

[Frederic Konrad]

  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 
 a écrit :  
 
 

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

  

Re: Support for Gaisler multicore LEONx SoCs

[Peter Maydell]

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

Support for Gaisler multicore LEONx SoCs

[Gregg Allison]

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.alli...@lasp.colorado.edu