Next: 3 Your first hello Up: Building Infrastructure for DROPS Previous: 1 Assumptions Index
Lets assume your base directory where your DROPS-sources are is $(HOME)/src. After checking out the files using CVS, you end up with a couple of directories:
| l4/ | the L4 directory, later referenced as $(L4DIR). | ||
| l4linux-2.6/ | L4Linux 2.6 |
There might be others as well, likely Linux kernels, which are needed by some DROPS packages. Within the L4 directory, you will find
| l4/kernel | sources of L4 micro kernel implementations, primarily FIASCO. | ||
| l4/pkg | base directory of all DROPS packages. | ||
| l4/tool | tools for compilation, among them the IDL compiler DICE. | ||
| l4/mk | BID macros to control compilation and installation. | ||
| l4/doc | base directory for documentation, will also contain compiled packet documentation later. | ||
| l4/include | base directory for include files exported by packages. | ||
| l4/lib | base directory for compiled libraries. | ||
| l4/bin | base directory for compiled binaries (might be a symbolic link). |
L4 Checker 2012-04-11