Re: [Minios-devel] [PATCH 00/40] MINI-OS: enable the arm64 support

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Samuel,

On 03/11/17 18:02, Samuel Thibault wrote:
> Julien Grall, on ven. 03 nov. 2017 11:49:16 +0000, wrote:
> > I can see two solutions going forward:
> >         1) The arm directory is first reshaped to welcome arm64. This means:
> >                 * moving out arm32 specific code
> >                 * switch to LPAE page-table
> >                 * introducing helpers for common code to call arch-specific code
> >            On the code is reshaped, the arm64 series is added on top.
> >
> >         2) Start the arm64 port from a clean slate and then port arm32 over.
> >
> > Knowing the state of the arm32 port, I would lean towards 2). This would
> > allow more flexibility and make easier to review. At the moment, I have to
> > hunt down the code to see what is missing.
> >
> > I would be interested to hear the opinion of the maintainers here.
> Personally I almost don't know ARM, so I can't speak for the code
> itself.  Is the arm32 port actually used by somebody?  If it doesn't
> even compile, it's probably "no", and thus possibly not worth trying to
> reuse it, and going straight to 2) would be easier indeed.
arch.mk is inexistent for the arm32 port. So it does not compile.

If I am not mistaken, some projects (e.g mirageOS) have a arm32 port 
based on that series. But they never upstreamed the changes.
I found the series that added arm32 support, and I can confirm that this 
was never fully upstreamed (see [1]). For the ARM-TODO.txt:
* support abort exception handling ( and others )
* gic request_irq implementation, currently all IRQs all hardcoded in 
gic irq handler.
* bind_*
* add multiple cpu support (?)
* map_frames
* make sure that wallclock is functioning properly

This is to be added on top of the list I mentioned in my previous 
regarding the state of this port.
Cheers,

[1] 
https://lists.xenproject.org/archives/html/xen-devel/2014-08/msg01075.html
> Samuel
>
> _______________________________________________
> Minios-devel mailing list
> Minios-devel@xxxxxxxxxxxxxxxxxxxx
> https://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel
--
Julien Grall

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel