1 Source-Tree

Directory/File Comment
l4/ base-directory, contains no Makeconfs
l4/kernel/ kernel sources
l4/pkg/ contains the packages
(disappeared) was: l4/Makeconf
l4/mk/ contains role-files (see Section 2)
l4/pkg/PKGANME/ DROPS-components (packages)
l4/pkg/PKGNAME/include/ headers to be exported by that package
l4/pkg/PKGNAME/idl/ IDL-definition
l4/pkg/PKGNAME/{lib, server}/{lib, src, include} sources
l4/pkg/PKGNAME/etc/, examples/, man/, doc/, README, TODO, INSTALL, COPYING preferred names for according files
l4/pkg/PKGNAME/Makefile package-Makefile, there is no symlink anymore
l4/{bin,lib}/{x86_586/,x86_586/v2/,ia64/,...} and l4/{include, idl} Build-Installation path for the packages. These directories contain stripped versions of compiled binaries.



Subsections

L4 Checker 2012-04-11