Writing simple "hiworld" server using L4Env packages

[Eduard Benes]

Hi!

My goal is to create, using l4env pkgs, some simple servers that would 
run on top of microkernel and compare their performance when running 
on native Linux and on L4 ukernel.   

They should run single and more paraller "processes" that would
do some simple numerical algorithms (sorting, Monter Carlo, ...)
So, I would like to ask for help with creation of such servers.
Better said, it can be few single servers without any clients.
(integer/float data types? forks? mallocs? time measurement? ...)

Is there available l4env "programming tutorial", some notes from 
lectures provided at TU-Dresden, or some more advanced "example"
server code that could be modified without much knowledge of l4env 
specifics? 

I've found the BID tutorial, but for me it would be more helpful 
to know what basic functions, libraries, data types can be used, 
and how. (e.g. the hello world example could be modified)
Could someone please show me the right way to go?

I'm running out of time, so I would really appreciate all help :)
Right now I'm working on benchmarking L4Linux and native Linux 
to get idea of the overhead. And It would be interesting to 
get idea of the performance when apps/servers are running on L4 
kernel without the L4Linux overhead.

Thank you,
Eduard Benes