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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7E5E97EC6E for ; Sun, 19 Jan 2014 01:12:02 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jon@ffconsultancy.com) identity=pra; client-ip=84.93.230.244; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="jon@ffconsultancy.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jon@ffconsultancy.com) identity=mailfrom; client-ip=84.93.230.244; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="jon@ffconsultancy.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@avasout03.plus.net) identity=helo; client-ip=84.93.230.244; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jon@ffconsultancy.com"; x-sender="postmaster@avasout03.plus.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiwDAOUX21JUXeb0lWdsb2JhbABZgkd8vRoWDgEBAQEHDQkJEiqCLAgCIygxBQ0DWCMcAQQeBYd5mF6rMZE1D4F6BI8mnkE X-IPAS-Result: AiwDAOUX21JUXeb0lWdsb2JhbABZgkd8vRoWDgEBAQEHDQkJEiqCLAgCIygxBQ0DWCMcAQQeBYd5mF6rMZE1D4F6BI8mnkE X-IronPort-AV: E=Sophos;i="4.95,682,1384297200"; d="scan'208,217";a="53857516" Received: from avasout03.plus.net ([84.93.230.244]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Jan 2014 01:12:02 +0100 Received: from XPS ([91.125.229.6]) by avasout03 with smtp id FcC01n00208vflX01cC1Q3; Sun, 19 Jan 2014 00:12:01 +0000 X-CM-Score: 0.00 X-CNFS-Analysis: v=2.1 cv=VqIaXYGn c=1 sm=1 tr=0 a=YNNwqyIk8JSiwARLj6s6Lw==:117 a=YNNwqyIk8JSiwARLj6s6Lw==:17 a=0Bzu9jTXAAAA:8 a=3ZsaD527ZNQA:10 a=Xub9RBUEA-sA:10 a=Kvk-SOs2Z7YA:10 a=r2vSxAw-AAAA:8 a=Ql91MUoyuNUA:10 a=DAwyPP_o2Byb1YXLmDAA:9 a=Zr7miEi8wWIA:10 a=cKsnjEOsciEA:10 a=YVy80YQO3xvosNpQm1UA:9 a=CjuIK1q_8ugA:10 a=HV2as86-UboA:10 a=b0fU45GaT3YA:10 a=yMhMjlubAAAA:8 a=SSmOFEACAAAA:8 a=1EbShQBbtZvc4krNrpcA:9 a=eT-qoZfpP4YG-NSB:21 a=gKO2Hq4RSVkA:10 a=UiCQ7L4-1S4A:10 a=hTZeC7Yk6K0A:10 a=frz4AuCg-hUA:10 X-AUTH: jdh302:2500 Reply-To: From: "Jon Harrop" To: "Caml List" Date: Sun, 19 Jan 2014 00:12:03 -0000 Organization: Flying Frog Consultancy Ltd. Message-ID: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_03B3_01CF14AB.155F6450" X-Mailer: Microsoft Outlook 14.0 Thread-Index: Ac8UqviG3KiJ+JHzTbKU2mrwntZEdw== Content-Language: en-gb Subject: [Caml-list] OCaml on the Arduino (or similar) This is a multipart message in MIME format. ------=_NextPart_000_03B3_01CF14AB.155F6450 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit I don't suppose anyone has retargeted OCaml to run on an Arduino or similar? I'm just getting into Arduino programming and writing async code in C++ is just horrible. L -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com ------=_NextPart_000_03B3_01CF14AB.155F6450 Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable

I don’t suppose anyone has retargeted OCaml= to run on an Arduino or similar?

&= nbsp;

I’m just getting into Arduino pro= gramming and writing async code in C++ is just horrible… L

Dr Jon Harrop, Flying Frog Consultancy Ltd.

= http://www.ffconsultancy.com

= ------=_NextPart_000_03B3_01CF14AB.155F6450-- 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 5F7D07EE99 for ; Sun, 19 Jan 2014 09:58:49 +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: AggFAPiS21JbeUeT/2dsb2JhbAA/GoMLOINTuDmBBhZ0giUBAQEEI1YQCxgCAgUTDgICDwUYMYgcCTanMJwnF4EpjVYHgm81gRQEmCEBjkmDT4MuOw X-IPAS-Result: AggFAPiS21JbeUeT/2dsb2JhbAA/GoMLOINTuDmBBhZ0giUBAQEEI1YQCxgCAgUTDgICDwUYMYgcCTanMJwnF4EpjVYHgm81gRQEmCEBjkmDT4MuOw X-IronPort-AV: E=Sophos;i="4.95,684,1384297200"; d="scan'208";a="45318494" 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 09:58:48 +0100 Received: by nautica.notk.org (Postfix, from userid 1003) id AD7F9C009; Sun, 19 Jan 2014 09:58:47 +0100 (CET) Date: Sun, 19 Jan 2014 09:58:47 +0100 From: Adrien Nader To: Jon Harrop Cc: Caml List Message-ID: <20140119085847.GA29276@notk.org> References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.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, Jon Harrop wrote: > > > I don't suppose anyone has retargeted OCaml to run on an Arduino or similar? > > > > I'm just getting into Arduino programming and writing async code in C++ is > just horrible. L There is OCaPIC fro PIC18 (or above iirc): http://www.algo-prog.info/ocapic/web/index.php?id=OCAPIC -- Adrien Nader 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 403397EE99 for ; Sun, 19 Jan 2014 11:45:32 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowCALCr21LAbSoInGdsb2JhbABZhxayaoVPgQYWDgEBAQEBCAsJCRQogiUBAQEEI1YQCwkPAgIFIQICDwUYMYgYBKdvnCgXFoETjVYHgm81gRQEj0OIXoZDjwQ X-IPAS-Result: AowCALCr21LAbSoInGdsb2JhbABZhxayaoVPgQYWDgEBAQEBCAsJCRQogiUBAQEEI1YQCwkPAgIFIQICDwUYMYgYBKdvnCgXFoETjVYHgm81gRQEj0OIXoZDjwQ X-IronPort-AV: E=Sophos;i="4.95,684,1384297200"; d="scan'208";a="45324497" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Jan 2014 11:45:31 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178009211.adsl.alicedsl.de [85.178.9.211]) (authenticated bits=0) by einhorn.in-berlin.de (8.14.4/8.14.4/Debian-4) with ESMTP id s0JAjSXp010377 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 19 Jan 2014 11:45:29 +0100 Received: by first (Postfix, from userid 1000) id 0D14A1540244; Sun, 19 Jan 2014 11:45:27 +0100 (CET) Date: Sun, 19 Jan 2014 11:45:27 +0100 From: oliver To: Jon Harrop Cc: Caml List Message-ID: <20140119104527.GC2012@siouxsie> References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] OCaml on the Arduino (or similar) Hi, On Sun, Jan 19, 2014 at 12:12:03AM -0000, Jon Harrop wrote: > > > I don't suppose anyone has retargeted OCaml to run on an Arduino or similar? [...] 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? Ciao, Oliver 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 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 B21727EE99 for ; 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 To: Dario Teixeira Cc: oliver , Jon Harrop , Caml List 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 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 7D68B7F9A8 for ; Mon, 30 Jun 2014 16:02:31 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=mailfrom; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAL1ssVPU4w8EnGdsb2JhbABag1/GMwGBCxYPAQEBAQEGDQkJFCiEAwEBBTIBQRULGAklDwUoPYgkARjAAh+HCheMfYIRFoMXgRYFml2GcBKQQA X-IPAS-Result: AiYBAL1ssVPU4w8EnGdsb2JhbABag1/GMwGBCxYPAQEBAQEGDQkJFCiEAwEBBTIBQRULGAklDwUoPYgkARjAAh+HCheMfYIRFoMXgRYFml2GcBKQQA X-IronPort-AV: E=Sophos;i="5.01,575,1400018400"; d="scan'208";a="69586457" Received: from mout.web.de ([212.227.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Jun 2014 16:02:30 +0200 Received: from frosties.localnet ([78.43.112.61]) by smtp.web.de (mrweb004) with ESMTPSA (Nemesis) id 0MNg5K-1WzyX90yLK-007H9U for ; Mon, 30 Jun 2014 16:02:29 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.82) (envelope-from ) id 1X1cA8-000664-BE for caml-list@inria.fr; Mon, 30 Jun 2014 16:02:28 +0200 Date: Mon, 30 Jun 2014 16:02:28 +0200 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20140630140228.GB23123@frosties> References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> <20140119104527.GC2012@siouxsie> <1390147118.92654.YahooMailNeo@web121701.mail.ne1.yahoo.com> <20140119160530.GA10935@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20140119160530.GA10935@notk.org> User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:NQbsDNv/zfoRsGornK4nXLsf4IxUr02RWKqoibd7N37EhqjkCup 1QmRe6XlJdgkYysNc7rVExQ3xwrVj/C+3GNQfPkJqv/M+esE+CNE8PSADeyaBeDfP1TTuXS 8rUhN9nQMoQi97tIsD6o2XGpTBLlNgxouPHu2CJgi9os/lRSSKXoKEY4cbK1MpCncqBP/GK xsseJ6Pu4rjszaSsUlE/Q== Subject: Re: [Caml-list] OCaml on the Arduino (or similar) On Sun, Jan 19, 2014 at 05:05:30PM +0100, Adrien Nader wrote: > 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 Mirage though requires hardware virtualization, which means a quite recent and powerfull arm board. The Raspberry Pi is way to old for that (Note: the cpu is way older than what other boards have). I've written an exokernel that lets me run ocaml barebone on the Raspberry Pi: https://github.com/mrvn/ocaml-rpi It's at a proof-of-concept stage. You can run simple code with output on the serial console. The graphics gets initialized too but there is no ocaml interface for it yet though. I've run into a problem that the GC will crash after a while that I got stuck on. The exokernel might be a good starting point for other boards (where mirage doesn't run) too. You don't need much to get the ocaml runtime running on some board. For Arduino the hard part would be to gte ocaml itself build. I don't think 16-bit values are supported. MfG Goswin 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 C64967F9A8 for ; Mon, 30 Jun 2014 18:50:14 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of whitequark@whitequark.org) identity=pra; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of whitequark@whitequark.org designates 176.58.103.125 as permitted sender) identity=mailfrom; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.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@mail.whitequark.org) identity=helo; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="postmaster@mail.whitequark.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQwAMuUsVOwOmd9/2dsb2JhbABAGoNfgneofAEBAQEBAQaBOph7AYEkdYQDAQEFOAJPBAcYLiwrGQiIPgk2xzkXhWSDSoRLgRUWhC0FikGgHYN9g0c4Lw X-IPAS-Result: AjQwAMuUsVOwOmd9/2dsb2JhbABAGoNfgneofAEBAQEBAQaBOph7AYEkdYQDAQEFOAJPBAcYLiwrGQiIPgk2xzkXhWSDSoRLgRUWhC0FikGgHYN9g0c4Lw X-IronPort-AV: E=Sophos;i="5.01,576,1400018400"; d="scan'208";a="69613523" Received: from fehu.whitequark.org (HELO mail.whitequark.org) ([176.58.103.125]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jun 2014 18:50:12 +0200 Received: by mail.whitequark.org (Postfix, from userid 33) id 18B8C4D727; Mon, 30 Jun 2014 16:50:10 +0000 (UTC) To: caml-list@inria.fr X-PHP-Originating-Script: 1000:rcube.php MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 30 Jun 2014 20:50:10 +0400 From: Peter Zotov In-Reply-To: <20140119085847.GA29276@notk.org> References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> <20140119085847.GA29276@notk.org> Message-ID: <623699e8c56293d1f90cc53703aa0dcb@whitequark.org> X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.0.1 Subject: Re: [Caml-list] OCaml on the Arduino (or similar) On 2014-01-19 12:58, Adrien Nader wrote: > On Sun, Jan 19, 2014, Jon Harrop wrote: >> >> >> I don't suppose anyone has retargeted OCaml to run on an Arduino or >> similar? >> >> >> >> I'm just getting into Arduino programming and writing async code in >> C++ is >> just horrible. L > > There is OCaPIC fro PIC18 (or above iirc): > http://www.algo-prog.info/ocapic/web/index.php?id=OCAPIC I second this suggestion. Porting OCaPIC runtime to run on AVR (or Cortex-M ARM) is the easiest way. -- Peter Zotov sip:whitequark@sipnet.ru 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 EE41D7F9A8 for ; Tue, 1 Jul 2014 08:30:18 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMGAMtUslNZELGahGdsb2JhbABag1+tBpk8AYEfDwEBAQoWQ4QDAQEEAXQFBQsLGC5XBhMJiCUDCQzBOCKGEBeMfYIKB4MtgRYFikKMCIQXl0Q6 X-IPAS-Result: AoMGAMtUslNZELGahGdsb2JhbABag1+tBpk8AYEfDwEBAQoWQ4QDAQEEAXQFBQsLGC5XBhMJiCUDCQzBOCKGEBeMfYIKB4MtgRYFikKMCIQXl0Q6 X-IronPort-AV: E=Sophos;i="5.01,580,1400018400"; d="scan'208";a="69672354" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 01 Jul 2014 08:30:15 +0200 Received: (qmail 23364 invoked by uid 634); 1 Jul 2014 06:30:14 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from athedsl-4465920.home.otenet.gr (HELO [10.100.22.69]) (94.71.100.240) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 01 Jul 2014 07:30:13 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.3 $1878.2$) From: Anil Madhavapeddy In-Reply-To: <20140630140228.GB23123@frosties> Date: Tue, 1 Jul 2014 09:29:57 +0300 Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <019F55C6-1953-47A8-9E43-742DE0072BE9@recoil.org> References: <03b201cf14ab$155f1630$401d4290$@ffconsultancy.com> <20140119104527.GC2012@siouxsie> <1390147118.92654.YahooMailNeo@web121701.mail.ne1.yahoo.com> <20140119160530.GA10935@notk.org> <20140630140228.GB23123@frosties> To: Goswin von Brederlow X-Mailer: Apple Mail (2.1878.2) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] OCaml on the Arduino (or similar) On 30 Jun 2014, at 17:02, Goswin von Brederlow wrote: > On Sun, Jan 19, 2014 at 05:05:30PM +0100, Adrien Nader wrote: >> 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 > > Mirage though requires hardware virtualization, which means a quite > recent and powerfull arm board. The Raspberry Pi is way to old for > that (Note: the cpu is way older than what other boards have). To be more precise, the Mirage/Xen/ARM backend requires hardware virtualization in order to provide the bootloader and device libraries. The majority of other libraries should just work once these are supplied. There's an effort underway to complete a FreeBSD kernel module backend, which would output a kthread-based module. This would run on the rPi, since you could strip down the FreeBSD kernel to pretty much just have the bootloader, virtual memory manager, and the required devices drivers. > > I've written an exokernel that lets me run ocaml barebone on the > Raspberry Pi: > > https://github.com/mrvn/ocaml-rpi > > It's at a proof-of-concept stage. You can run simple code with output > on the serial console. The graphics gets initialized too but there is > no ocaml interface for it yet though. I've run into a problem that the > GC will crash after a while that I got stuck on. > > The exokernel might be a good starting point for other boards (where > mirage doesn't run) too. You don't need much to get the ocaml runtime > running on some board. Or indeed, just use this as a base as well! The reason we selected kFreeBSD is to make bootstrap of the device drivers easier, and gradually rewrite them. -anil