Hello Basile, thank you for your reply.

Yes, it will run Linux. It will have the uclibC or even the lib C.
The best case is to run native code for better performance. We'd like to cross-compile for the PowerPC.

I'm not a FPGA expert, I'm asking questions for a colleague who works on it.

From what you're saying, it should work properly because of the non-exotic environment thanks to Linux. Am I correct ?

Regards.


2009/3/27 Basile STARYNKEVITCH <basile@starynkevitch.net>
Gregory Bellier wrote:
Hi everybody.

Do you know if it is possible to compile caml code on a PowerPC 405 from the Vertex 4 family ?
We'd like to put this processor in a FPGA.
On the Caml's website, it is written "PowerPC" but is it only for Macintosch ?

That is probably not so hard if your processor runs some Linux kernel, or if you want to run only ocaml bytecode (not native).

The point is in what kind of runtime environment will your Ocaml run?

Also, what is your development toolchain? Are executables in ELF format? ...

What is your knowledge of Ocaml internals (notably the stdlib, the runtime C API)?

Do you have a usual C lib?

Regards.

--
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***