Re: New list member

Hello Frédéric,

On 09/28/2010 09:46 PM, Frédéric BOYER wrote:
> Hello,
> My name is Frederic. I'm new to L4 and pistachio.
> by now it try to compile an amd64 kernel (didn't manage yet), does not
> compile on my debian amd64 distribution.
> After that I'd like to play with pistachio, maybe write some servers
> with the Ada language. Has someone ever tried to use ada to write L4
> servers ?

we have used Spark/Ada on L4 (i.e., on Pistachio) and integrated limited
Ada support into our custom user-level software stack:

  http://genode.org/documentation/release-notes/9.11#section-19

In our work, we employ the Spark language mainly for protocol
implementations and use C++ for the glue code needed for RPC
communication and system interfacing.

Best regards
Norman