caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Markus Weißmann" <markus.weissmann@in.tum.de>
To: <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml embedded
Date: Tue, 23 Jun 2015 12:32:09 +0200	[thread overview]
Message-ID: <1e86d3d4e5a1e3ba3051d8c928b0dbd2@in.tum.de> (raw)
In-Reply-To: <CAP3kh=2qNiZ64SXYJZ-_xGojiEaDTUTvJLfBxzDJWCXOcGZe1w@mail.gmail.com>

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/

  reply	other threads:[~2015-06-23 10:32 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-23 10:07 xavier deschuyteneer
2015-06-23 10:32 ` Markus Weißmann [this message]
2015-06-26  3:04   ` Berke Durak
2015-06-26  5:40     ` Kenneth Adam Miller
2015-06-26  5:40       ` Kenneth Adam Miller
2015-06-26  8:18     ` Francois Berenger
2015-06-26  9:57     ` xavier deschuyteneer
2015-06-26 13:39       ` Pierre-Alexandre Voye
2015-07-16 10:06       ` Goswin von Brederlow
2015-07-16 18:45         ` xavier deschuyteneer
2015-06-26 21:25     ` Gerd Stolpmann

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1e86d3d4e5a1e3ba3051d8c928b0dbd2@in.tum.de \
    --to=markus.weissmann@in.tum.de \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).