From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <markus.weissmann@in.tum.de>
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 B71A87EEEF
	for <caml-list@sympa.inria.fr>; Tue, 23 Jun 2015 12:32:10 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  markus.weissmann@in.tum.de) identity=pra;
  client-ip=131.159.0.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.weissmann@in.tum.de";
  x-sender="markus.weissmann@in.tum.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  markus.weissmann@in.tum.de) identity=mailfrom;
  client-ip=131.159.0.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.weissmann@in.tum.de";
  x-sender="markus.weissmann@in.tum.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-out1.informatik.tu-muenchen.de)
  identity=helo; client-ip=131.159.0.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="markus.weissmann@in.tum.de";
  x-sender="postmaster@mail-out1.informatik.tu-muenchen.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DRAABQNIlVnAgAn4Nbg2Rfgx68LYJIgzQCgURMAQEBAQEBEgEBAQEBCAsJCSEuhCMBAQQjDwEFUQQHGAICJgICVwYbiCe1UZZLDCCBIYophQ0WglKBQwWTf40LQoY2jCiDW4QiPDGCSAEBAQ
X-IPAS-Result: A0DRAABQNIlVnAgAn4Nbg2Rfgx68LYJIgzQCgURMAQEBAQEBEgEBAQEBCAsJCSEuhCMBAQQjDwEFUQQHGAICJgICVwYbiCe1UZZLDCCBIYophQ0WglKBQwWTf40LQoY2jCiDW4QiPDGCSAEBAQ
X-IronPort-AV: E=Sophos;i="5.13,665,1427752800"; 
   d="scan'208";a="166833299"
Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Jun 2015 12:32:10 +0200
Received: from webmail.in.tum.de (localhost [127.0.0.1])
	by vmwebmail1.informatik.tu-muenchen.de (Postfix) with ESMTP id 94DC42404C4
	for <caml-list@inria.fr>; Tue, 23 Jun 2015 12:32:09 +0200 (CEST)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
Date: Tue, 23 Jun 2015 12:32:09 +0200
From: =?UTF-8?Q?Markus_Wei=C3=9Fmann?= <markus.weissmann@in.tum.de>
To: <caml-list@inria.fr>
In-Reply-To: <CAP3kh=2qNiZ64SXYJZ-_xGojiEaDTUTvJLfBxzDJWCXOcGZe1w@mail.gmail.com>
References: <CAP3kh=2qNiZ64SXYJZ-_xGojiEaDTUTvJLfBxzDJWCXOcGZe1w@mail.gmail.com>
Message-ID: <1e86d3d4e5a1e3ba3051d8c928b0dbd2@in.tum.de>
X-Sender: markus.weissmann@in.tum.de
User-Agent: Roundcube Webmail/0.8.1
Subject: Re: [Caml-list] OCaml embedded

I can offer experience in the following cases:
1) If your system is powerful enough (e.g. rasperry pi), you can just 
install the ocaml toolchain on your system and develop there on your 
target system.
2) Another possibility would be to use qemu (scratchbox, deboostrap, 
..) to run a complete ARM-linux-root on your x64/x86 linux system via 
chroot.
I especially like the 2nd one, as you can use your powerful development 
CPU but your software and toolchain behave nearly perfectly like you are 
on your target system.

regards
-Markus

On 2015-06-23 12:07, xavier deschuyteneer wrote:
> I would like to develop in ocaml for ARM based embedded systems 
> running
> custom Linux (build with yocto).
>
> My main questions are how to achieve this:
> - cross compilation (ARM/x86)
> - stack size control/analysis (valgrind massif tools for ocaml?)
>
> Do you have some pointers? experience?
>
> Xavier Deschuyteneer

-- 
Markus Weißmann, M.Sc.
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
D-85748 Garching
Germany
http://wwwknoll.in.tum.de/