Re: [Caml-list] Ocaml on RaspberryPi bare-metal crashes

[Peter Zotov <whitequark@whitequark.org>]

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.