OCaml ppc64 support

[Richard W.M. Jones]

On Wed, May 30, 2012 at 08:12:06PM +0100, David Woodhouse wrote:
> On Wed, 2012-05-30 at 19:37 +0100, David Woodhouse wrote:
> > 
> > It'd definitely be interesting to see how far you can get by
> > re-introducing this abstraction into the upstream ppc64 back end.
> 
> Oh, wait. My memories of this are slowly returning. Isn't the
> Darwin/ppc64 ABI basically the same as the ELF/ppc32 ABI?

It seems to use the 'd'-ouble variant (instead of 'w'-ord) instructions ...

> For Linux/ppc64 there are more differences in the ABI (most of which you
> can see mentioned in the changelog of my git tree, as I started with the
> ppc32 back end and made it cope with all the differences).
>
> So no, it does make sense that Darwin/ppc64 uses the old power back end,
> while Linux/ppc64 gets its own.

OK, guess I'll take a look at this tomorrow to understand the
differences.  Thanks.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into Xen guests.
http://et.redhat.com/~rjones/virt-p2v