1 Quickstart

Although we recommend reading the few pages of this paper, here is the abstract:

1. Get the following components from http://tudos.org/drops/download.html: L4Env, L$\!^4$Linux, Fiasco.

2. Unpack the tar-balls in one directory. Memorize the directory.

3. Switch into l4/ and enter

   DROPS_STDDIR=<dir>/drops $\backslash$
   make oldconfig

   Substitute <dir> with the absolute pathname of the directory you kept in mind. Still in l4/, enter

   make