From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 23C797EE99 for ; Sun, 19 Jan 2014 17:01:31 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.229.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.229.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm33.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.229.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm33.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcBANz121JiiuUam2dsb2JhbABMDYQZqEKSdIEGFg4BAQEBAQYLCwkUKIIgBQEBAQMBCyAVAQIVIQEBAwsGBUYvAQ4BBhIGAYgCAQECCQgEqEIJgwCSFwEjAwEjA4VgEAEGCgEBAY4/MweEOASJR45ihkA2VYhxcIQz X-IPAS-Result: ApcBANz121JiiuUam2dsb2JhbABMDYQZqEKSdIEGFg4BAQEBAQYLCwkUKIIgBQEBAQMBCyAVAQIVIQEBAwsGBUYvAQ4BBhIGAYgCAQECCQgEqEIJgwCSFwEjAwEjA4VgEAEGCgEBAY4/MweEOASJR45ihkA2VYhxcIQz X-IronPort-AV: E=Sophos;i="4.95,685,1384297200"; d="scan'208";a="45340261" Received: from nm33.bullet.mail.ne1.yahoo.com ([98.138.229.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Jan 2014 17:01:29 +0100 Received: from [127.0.0.1] by nm33.bullet.mail.ne1.yahoo.com with NNFMP; 19 Jan 2014 16:01:26 -0000 Received: from [98.138.100.114] by nm33.bullet.mail.ne1.yahoo.com with NNFMP; 19 Jan 2014 15:58:38 -0000 Received: from [98.138.89.173] by tm105.bullet.mail.ne1.yahoo.com with NNFMP; 19 Jan 2014 15:58:38 -0000 Received: from [127.0.0.1] by omp1029.mail.ne1.yahoo.com with NNFMP; 19 Jan 2014 15:58:38 -0000 X-Yahoo-Newman-Property: ymail-4 X-Yahoo-Newman-Id: 958014.48996.bm@omp1029.mail.ne1.yahoo.com Received: (qmail 6624 invoked by uid 60001); 19 Jan 2014 15:58:38 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1390147118; bh=zuhMqml1Ldema/sgziXgiQdWU2fNrql1qC7fXItESIc=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=m6537IrqSspEIxpY1++GtJZf8acv3Kau5AIuHhrwlLgPG8SWh4KXiThcu3KDNScLM/s0ltmPYLgnmJ4MQx1J4XFnfnA2O41AeuA60s5UlsIVl49xNIqWeghbIgM7OPnp8N4275WaEgZ4iSZYQwLB6F1i4WLEQeBlNN3N7TsQZ1Y= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=DvrLYj5rvxIrWMHBbZYlvh4Pab7fcwApxVWUmnfj3gk/KxU9oxpqafUKM4C9gUtrUH2q3Gtj5H3jObcXXMjwzuSQW0Sp70fYfH3uqWxmIafN4R1ekAqjANSv4aKGjcJvjiGnaQCDimCoumf80grYX1FU4eXDVbIo5xRQsnY9xrc=; X-YMail-OSG: C2sPZI4VM1lLJiTOmhkMdalbaV9BOk_HghN3c3A_bsSr0XE H842oPebCf0LDXQYxV3NFJhpTCv3fszwxuUK1L18fi3oPMA-- Received: from [195.23.39.114] by web121701.mail.ne1.yahoo.com via HTTP; Sun, 19 Jan 2014 07:58:38 PST X-Rocket-MIMEInfo: 002.001,SGksCgo.IEFyY2gtQXJtLUxpbnV4IChlLmcuIGZvciBSYXNwYmVycnkgUGkpIGFsc28gaGFzIE9DYW1sLXBhY2thZ2VzLgoKPiAKPiBSZWdhcmRpbmcgQXJkdWlubyBJIGRvbid0IGtub3cgaXQuCj4gUG9zc2libHkgdGhlIGhhcmR3YXJlIGlzIHRvbyB3ZWFrIGZvciBydW5uaW5nIExpbnV4PwoKRGVwZW5kcyBvbiB3aGljaCBBcmR1aW5vIHlvdSBhcmUgdGFsa2luZyBhYm91dC7CoCBUaGUgVW5vCmFuZCBtb3N0IG90aGVyIGNvbW1vbiB2YXJpYW50cyBhcmUgYmFzZWQgb24gYSBmYWlybHkgcHVueQooYnkgdG8BMAEBAQE- X-Mailer: YahooMailWebService/0.8.173.622 References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> <20140119104527.GC2012@siouxsie> Message-ID: <1390147118.92654.YahooMailNeo@web121701.mail.ne1.yahoo.com> Date: Sun, 19 Jan 2014 07:58:38 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: oliver , Jon Harrop Cc: Caml List In-Reply-To: <20140119104527.GC2012@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OCaml on the Arduino (or similar) Hi, > Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages. >=20 > Regarding Arduino I don't know it. > Possibly the hardware is too weak for running Linux? Depends on which Arduino you are talking about.=A0 The Uno and most other common variants are based on a fairly puny (by today's standards) Atmel 8-bit processor.=A0 But there are other more powerful Arduino boards (like the Due) based on ARM Cortex-M processors.=A0 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.=A0 The latter in particular is a pretty powerful device and has tons of GPIO pins. Best regards, Dario Teixeira