From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 96C30BBAF for ; Fri, 27 Mar 2009 16:56:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BAGeUzEnRVdykkGdsb2JhbACCVJJvPwEBAQEJCQwHEQOoaYEHj1EBAwEDg3QG X-IronPort-AV: E=Sophos;i="4.38,432,1233529200"; d="scan'208";a="23406132" Received: from mail-fx0-f164.google.com ([209.85.220.164]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Mar 2009 16:56:47 +0100 Received: by fxm8 with SMTP id 8so1278998fxm.27 for ; Fri, 27 Mar 2009 08:56:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=KaJfKPS4rWD7hYMoFih6HgStGbCYvDypC3vRt7LHmHA=; b=nqyuaSKNwvQZxiRScZ8Cxa5pZDVboa/OaUOdfhHyxDiux7eAmSRJzSiV+iYAEyJSPh Y6g6QxdJG8m3xi3/HSmV6jgo6b3rN15px7RdeE3fUZCJ388U1/MxGf0vr4ri27tgRkqA hmlIYnMXxRybZ/iRpcwCMXpRZdEwaITmKEU5s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=ACYZ9X/+uGZ458HU0XOuEbZpgzkOJ7/iKMCFFI27ac9OF/divXFfXFmxgvwNL9ecXh TQhB0DZKz2q/l//A1MI6txBS4KgSY+VQ9bziKLLh9Pz4G+RwgnR32oK5sxAyywM0W8Ce ase88WVbK3MQWPPvsmXtbZuDz2XqzqHLeiUVQ= MIME-Version: 1.0 Received: by 10.86.29.8 with SMTP id c8mr2225318fgc.35.1238169406881; Fri, 27 Mar 2009 08:56:46 -0700 (PDT) In-Reply-To: <49CCEC5F.6040009@starynkevitch.net> References: <49CCEC5F.6040009@starynkevitch.net> Date: Fri, 27 Mar 2009 16:56:46 +0100 Message-ID: Subject: Re: [Caml-list] PowerPC 405 From: Gregory Bellier To: Basile STARYNKEVITCH Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=000e0cd2981aab3f6e04661bc762 X-Spam: no; 0.00; powerpc:01 basile:01 lib:01 powerpc:01 basile:01 caml's:01 ocaml:01 bytecode:01 runtime:01 ocaml:01 toolchain:01 stdlib:01 runtime:01 lib:01 faiencerie:01 --000e0cd2981aab3f6e04661bc762 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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 > 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: basilestarynkevitchnet mobile: +33 6 8501 2359 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France > *** opinions {are only mines, sont seulement les miennes} *** > > --000e0cd2981aab3f6e04661bc762 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello Basile, thank you for your reply.

Yes, it will run Linux. It w= ill have the uclibC or even the lib C.
The best case is to run native co= de for better performance. We'd like to cross-compile for the PowerPC.<= br>
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 b= ecause of the non-exotic environment thanks to Linux. Am I correct ?

Regards.


2009/3/27 Basile STARYNK= EVITCH <basile@starynkevitch.net>
Gregory Bell= ier wrote:
Hi everybody.

Do you know if it is possible to compile caml code on a PowerPC 405 from th= e 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 i= f 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 =A0 =A0 =A0 =A0 http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359<= br> 8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***


--000e0cd2981aab3f6e04661bc762--