Re: New list member

Marek <[email protected]> Wed, 29 Sep 2010 08:51:42 +0200
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
  W dniu 28.09.2010 21:46, Frédéric BOYER pisze:
> 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
>
>
Hi Frédéric,
As an exercise of learning I have created a simple Ada bindings to the 
L4 user library L4. For testing purposes (Debian - GNAT 2009, Ubuntu - 
GNAT2010), I tested only hello_world translated to Ada. Its was working 
on VirtualBox machine (IA32). Next stage should be creating small 
runtime, but... time, time.
regards
Marek
p.s. sorry for my funny english