New list member

Frédéric BOYER <[email protected]> Tue, 28 Sep 2010 12:46:49 -0700 (PDT)

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

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 ?

Best regards to all, and congratulations for L4, it's a wonderfull toy ;)

Frédéric BOYER