ocaml and the new arm ABI (EABI)

[Lennert Buytenhek <buytenh@wantstofly.org>]

Hi!

The ARM world is (slowly) switching to a new ABI:

	http://wiki.debian.org/ArmEabiPort

In the new ABI, the f[0-7] FPA floating point registers and FPA
instructions (which were always emulated by the kernel via undefined
instruction traps) no longer exist.  The ocaml ARM code generator
assumes FPA registers and instructions, so it doesn't work anymore in
the new ABI.

There exists a rapidly maturing Debian ARM EABI port with about 13000
packages built at this moment, and one of the packages that doesn't
build/work is ocaml.  I would fix it up, if only the code generator
wasn't written in ocaml as well.

Can anyone on this mailing list provide assistance in fixing this up?


thanks,
Lennert