Re: m68k OCaml porting issue

[Laurent Vivier <laurent@vivier.eu>]

Le 23/12/2021 à 09:56, John Paul Adrian Glaubitz a écrit :
> Hi Laurent!
>
> On 12/22/21 17:48, Laurent Vivier wrote:
> > With Qemu 6.2.50 (from git repo):
> >
> > -NAN
> >
> > With Quadra 800 with 68040 FPU:
> >
> > NAN
> >
> > Built with Qemu and debian bookworm/sid, gcc (Debian 10.2.0-15) 10.2.0.
> >
> > On Quadra 800 it's executed on a debian/etch (not enough memory, 40 MB, to execute sid installer).
> >
> > So it seems your test works better on Qemu than on real hardware.
> >
> > First test gives me:
> >
> > Qemu: fff0000000000001, -NAN
> > Q800: 7ff8000000000001, NAN
> >
> > Qemu reuses fonctions common to all emulated archs, so we will have results closer to x86 than to real 68040.
>
> I will update the QEMU version on the Debian Porterbox then. Has the latest QEMU version
> integrated all the changes for the m68k-virt machine or are there any other patches
> missing?

No other patches are missing.

> I think the kernel part is not yet fully upstreamed, is it?

Correct. I try to resend a patch this week to have this merged, but spare time is missing.

Thanks,
Laurent