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