English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
PowerPC 405
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-03-27 (15:56)
From: Gregory Bellier <gregory.bellier@g...>
Subject: Re: [Caml-list] PowerPC 405
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 ?


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} ***