hello and question from a l4 beginner

[Xavier Grave]

Hi everybody,

I have just discovered l4 because I have started to translate a simple
OS in Ada (SOS from http://sos.enix.org), and now I would like to
develop an Ada interface to L4.
Actually I have compiled pistachio and I run a very simple Ada
executable on top of it.

There something strange with my executable : it sends page fault error
to sigma0 (label 0xffe5 and 0xffe2) even before I start to execute
code...
Does somebody have an idea ?

Thanks in advance, xavier