BSD on top of L4

Hi L4 guys:

I am totally new with your project, but it seems amazing what you are doing.

I figure it out if I could implement a BSD-like kernel on top of your L4
microkernel with the following characteristics:

* The drivers should be loaded as L4 services
* The applications should be binary compatible with BSD applications

Where can I find "starter" information in order to develop some: "kHello
world" or "My first module loaded on L4" or stuff of that kind?

Thanks in advance and thanks for your work!


Ernesto