There are several documents available.
||Gives an overview of our L4 components and the development environment and provides links to more detailed documentation.
|L4Env Concept Paper
||Describes the overall concept of L4Env and the philosophy behind certain decisions.
||Describes how to build an own package using the Building Infrastructure for DROPS (BID)
||The specification of the Building Infrastructure for DROPS (BID)
For (almost) every paket in L4Env there is some reference manual available.
Check the manual page for a list of manuals.