From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <whitequark@whitequark.org>
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 D96A57EE25
	for <caml-list@sympa.inria.fr>; Mon,  4 Nov 2013 14:41:50 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  whitequark@whitequark.org) identity=pra;
  client-ip=176.58.103.125;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="whitequark@whitequark.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.whitequark.org) identity=helo;
  client-ip=176.58.103.125;
  receiver=mail2-smtp-roc.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: AqEEAECjd1KwOmd9/2dsb2JhbABZgz+DW7w1gT10giYBBSMPAQVRBAUCGgImAgIsKwYbh30JkCObXpIXBIEpiAeDUoJdFoJVgUMDiTqgWYMrNw
X-IPAS-Result: AqEEAECjd1KwOmd9/2dsb2JhbABZgz+DW7w1gT10giYBBSMPAQVRBAUCGgImAgIsKwYbh30JkCObXpIXBIEpiAeDUoJdFoJVgUMDiTqgWYMrNw
X-IronPort-AV: E=Sophos;i="4.93,632,1378850400"; 
   d="scan'208";a="40823465"
Received: from fehu.whitequark.org (HELO mail.whitequark.org) ([176.58.103.125])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2013 14:41:19 +0100
Received: by mail.whitequark.org (Postfix, from userid 33)
	id 918C84D715; Mon,  4 Nov 2013 17:41:48 +0400 (MSK)
To: <caml-list@inria.fr>
X-PHP-Originating-Script: 1000:main.inc
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
Date: Mon, 04 Nov 2013 17:41:48 +0400
From: Peter Zotov <whitequark@whitequark.org>
In-Reply-To: <20131104131015.GA27957@frosties>
References: <20131104131015.GA27957@frosties>
Message-ID: <393565311ce19d3358ed3799df56bcda@whitequark.org>
X-Sender: whitequark@whitequark.org
User-Agent: Roundcube Webmail/0.8.6
Subject: Re: [Caml-list] Ocaml on RaspberryPi bare-metal crashes

Goswin von Brederlow писал 04.11.2013 17:10:
> Hi,
> 
> over the weekend I wrote some boot code and glue to make ocaml run
> bare-metal on a RaspberryPi. Here is what I did:
> ...
> I'm not sure why it crashes and I haven't setup exception handlers yet
> that would tell me what or where exactly it crashes. But the only new
> bits are the initialization of the printf module and the printf call
> itself. Must be one or the other.
> 
> Does anyone want to take a blind guess what could be wrong?

If I was you:

1) I'd try to set up an emulator as close to RPi as possible and 
reproduce.
    Qemu has an integrated gdbserver and with RPi's popularity, chances 
that
    someone customized it already.

2) If there's no luck with emulator, I'd link in a GDB stub for ARM
    communicating via a hardware serial port. This one seems to be easy 
enough
    to port: 
https://github.com/BurntBrunch/rockbox-fft/blob/master/gdb/arm-stub.c

(Incidentally, this demonstrates why you don't generally want to use 
hardware
without accessible JTAG. :)

-- 
   WBR, Peter Zotov.