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/
next prev parent 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