caml stubdom crashes

[Alex Zeffertt <alex.zeffertt@eu.citrix.com>]

Hello ocaml minios stubdomain experts (that's narrowed down the list somewhat!)

I've been playing with the caml version of the "hello world" example stubdomain 
that can be found in xen-unstable.hg/stubdom/caml/.

If I make the following trivial modification to stubdom/caml/hello.ml the stub 
domain page faults.  According to addr2line the page fault is in ungetc.c:0.

--- a/stubdom/caml/hello.ml	Mon Mar 30 11:42:16 2009 +0100
+++ b/stubdom/caml/hello.ml	Thu Apr 02 15:15:45 2009 +0100
@@ -1,4 +1,6 @@
+let yr = 2009
+
  let main arg =
-  Printf.printf "Hello, world!\n%!."
+  Printf.printf "Hello, world %d!\n%!." yr

  let _ = Callback.register "main" main


Without the above change the stub domain runs as expected, i.e. it does not page 
fault.

I suspect the problem is that the caml-stubdom target in stubdom/caml/Makefile 
compiles stubdom/caml/hello.ml and links it with $(CAMLLIB)/libasmrun.a.  But 
this is a library compiled for the development machine platform 
(linux-i386-glibc) not for the stubdomain platform (minios-i386-newlib).

Maybe the original hello.ml only worked through luck, and the fact that it used 
so very little of the ocaml language.

In order to run a non trivial ocaml application in a stubdomain (e.g. ocaml 
xenstored) do I need to port ocaml to minios-i386-newlib?

If so, I would really appreciate any pointers(*) on how to go about this as I am 
  an ocaml newbie.

Regards,

Alex

(*) Although I understand you don't get pointers in ocaml.  They would make it 
too easy to do what you want to do, which is probably the wrong thing.  :)