From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id C2E72BCAF for ; Wed, 29 Jun 2005 10:13:09 +0200 (CEST) Received: from gw-eur4.philips.com (gw-eur4.philips.com [161.85.125.10]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5T8D9LA007858 for ; Wed, 29 Jun 2005 10:13:09 +0200 Received: from smtpscan-eur5.philips.com (smtpscan-eur5.mail.philips.com [130.144.57.168]) by gw-eur4.philips.com (Postfix) with ESMTP id 1130F49737 for ; Wed, 29 Jun 2005 08:13:09 +0000 (UTC) Received: from smtpscan-eur5.philips.com (localhost [127.0.0.1]) by localhost.philips.com (Postfix) with ESMTP id D88F14D for ; Wed, 29 Jun 2005 08:13:08 +0000 (GMT) Received: from smtprelay-eur1.philips.com (smtprelay-eur1.philips.com [130.144.57.170]) by smtpscan-eur5.philips.com (Postfix) with ESMTP id 0F33BF6 for ; Wed, 29 Jun 2005 08:13:08 +0000 (GMT) Received: from beorn.natlab.research.philips.com (beorn.natlab.research.philips.com [130.145.139.38]) by smtprelay-eur1.philips.com (Postfix) with ESMTP id D4D841F1C for ; Wed, 29 Jun 2005 08:13:07 +0000 (GMT) Received: from bard (bard [130.145.131.125]) by beorn.natlab.research.philips.com (8.12.11/8.12.11) with ESMTP id j5T8D7aP011892 for ; Wed, 29 Jun 2005 10:13:07 +0200 Received: from PC67242993.ddns.htc.nl.philips.com ([130.145.174.207]) by bard (MailMonitor for SMTP v1.2.2 ) ; Wed, 29 Jun 2005 10:13:07 +0200 (CEST) Message-ID: <42C25813.86FD43FF@philips.com> Date: Wed, 29 Jun 2005 10:13:07 +0200 From: Leszek.Holenderski@philips.com Organization: Philips Research X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: ARM or MIPS? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 42C25815.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; mips:01 ocaml:01 mips:01 usable:01 supported:01 caml:02 hump:02 ported:03 anyway:05 research:11 but:12 some:12 arm:13 arm:13 used:15 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.2 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.0.2 X-Spam-Level: Hi, Has OCaml been ported to ARM? If so, is the port really usable? There used to be some reference to an ARM port in the Caml Hump but I can't find it anymore. Anyway, the last time I checked it, the link was dead. Is MIPS better supported than ARM? Leszek Holenderski Philips Research