1 Assumptions

This tutorial is to help the reader (you) to write applications using BID. We assume you to know the basic Unix commands and concepts of its file system. For understanding the example programs, you should be familiar with C.

Compiling packages for DROPS requires a specific compilation environment to be set up. This environment contains IDL compilers, special versions of a standard C library, various Linux kernel sources, compiled DROPS packages and others. A tutorial on how to set up this environment can be found in [2]. We assume the environment being set up correctly.

We assume that you checked out the L4Env [1] module from the DROPS download page [3] and build the environment. To test your package, you will also need the Fiasco module. If you are at the Operating Systems Group here at TU Dresden with access to the file server os.inf.tu-dresden.de, most of these files are installed at /home/drops.



L4 Checker 2012-04-11