This part of the documentation discusses the concept of microkernel-based programming in more detail.
You should have already a basic understanding of the L4Re programming environment from the tutorial.