From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <adrien@notk.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id B21727EE99
	for <caml-list@sympa.inria.fr>; Sun, 19 Jan 2014 17:05:31 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  adrien@notk.org) identity=pra; client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  adrien@notk.org designates 91.121.71.147 as permitted sender)
  identity=mailfrom; client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nautica.notk.org) identity=helo;
  client-ip=91.121.71.147;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="adrien@notk.org";
  x-sender="postmaster@nautica.notk.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjUFAAD321JbeUeT/2dsb2JhbABZgws4gwFSoUCWeYEGFnSCJQEBAQQjDwFGEAsYAgIFEw4CAg8FGDEciACnb5wgF4EpjVYHgm81gRQEmCEBkhiDLjs
X-IPAS-Result: AjUFAAD321JbeUeT/2dsb2JhbABZgws4gwFSoUCWeYEGFnSCJQEBAQQjDwFGEAsYAgIFEw4CAg8FGDEciACnb5wgF4EpjVYHgm81gRQEmCEBkhiDLjs
X-IronPort-AV: E=Sophos;i="4.95,685,1384297200"; 
   d="scan'208";a="45340558"
Received: from nautica.notk.org ([91.121.71.147])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Jan 2014 17:05:31 +0100
Received: by nautica.notk.org (Postfix, from userid 1003)
	id 3B454C009; Sun, 19 Jan 2014 17:05:30 +0100 (CET)
Date: Sun, 19 Jan 2014 17:05:30 +0100
From: Adrien Nader <adrien@notk.org>
To: Dario Teixeira <darioteixeira@yahoo.com>
Cc: oliver <oliver@first.in-berlin.de>, Jon Harrop <jon@ffconsultancy.com>,
	Caml List <caml-list@inria.fr>
Message-ID: <20140119160530.GA10935@notk.org>
References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com>
 <20140119104527.GC2012@siouxsie>
 <1390147118.92654.YahooMailNeo@web121701.mail.ne1.yahoo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <1390147118.92654.YahooMailNeo@web121701.mail.ne1.yahoo.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] OCaml on the Arduino (or similar)

On Sun, Jan 19, 2014, Dario Teixeira wrote:
> Hi,
> 
> > Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.
> 
> > 
> > Regarding Arduino I don't know it.
> > Possibly the hardware is too weak for running Linux?
> 
> Depends on which Arduino you are talking about.  The Uno
> and most other common variants are based on a fairly puny
> (by today's standards) Atmel 8-bit processor.  But there
> are other more powerful Arduino boards (like the Due)
> based on ARM Cortex-M processors.  There are ports of Linux
> to some Cortex-M variants, but I don't know if these happen
> to be the same as those used in the Arduino Due...
> 
> But anyway, if you need something powerful enough to run Linux,
> you might also consider other boards like the Raspberry Pi or
> the BeagleBone Black.  The latter in particular is a pretty
> powerful device and has tons of GPIO pins.
> 

You could run something like Mirage too. ;-) 

http://www.openmirage.org/

-- 
Adrien Nader