Bibliography

1

L4Env.
Documentation at http://os.inf.tu-dresden.de/l4env/.

2

DROPS Building HowTo, 2006.
Available at http://os.inf.tu-dresden.de/l4env/doc/html/drops-building/building.pdf.

3

DROPS Download Page, 2006.
Available at http://os.inf.tu-dresden.de/drops/download.html.

4

DICE User's Manual, 2006.
Available at http://os.inf.tu-dresden.de/dice/manual.pdf.

5

FIASCO-UX Homepage, 2006.
Available at http://os.inf.tu-dresden.de/fiasco/ux/.