a "hello world" under l4

Hello,
I'd like to try and write some kind of "hello world" application under l4,  
but didn't find enough information...
may be, it will be a good idea to add such example code? Or, where can I  
get the L4 System Programmer's Manual?
Thanks for your reply.