AUTHORS

The L4Ka Team mainly consists of members from the System Architecture
Group at the University of Karlsruhe, Germany, and the DiSy group at
the University of New South Wales, Australia.  The following is a list
of people directly involved in the development of L4Ka::Pistachio:

  Chang Hua Chen   <chhchen at cse.unsw.edu.au>

  Matt Chapman   <matthewc at cse.unsw.edu.au>

  Uwe Dannowski   <dannowski at ira.uka.de>

  Philip Derrin   <philipd at cse.unsw.edu.au>

  Stefan Götz   <sgoetz at ira.uka.de>

  Charles Gray   <cgray at cse.unsw.edu.au>

  Andreas Haeberlen   <ahae at cs.rice.edu>

  Ben Leslie   <benjl at cse.unsw.edu.au>

  Joshua LeVasseur   <jtl at ira.uka.de>

  Daniel Potts   <danielp at cse.unsw.edu.au>

  Carl van Schaik   <cvansch at cse.unsw.edu.au>

  Espen Skoglund   <esk at ira.uka.de>

  Shane Gregory Stephens   <shans at cse.unsw.edu.au>

  Jan Stöß   <stoess at ira.uka.de>

  Harvey Tuch   <htuch at cse.unsw.edu.au>

  Volkmar Uhlig   <volkmar at ira.uka.de>

  Adam Wiggins   <awiggins at cse.unsw.edu.au>

  Simon John Winwood   <sjw at cse.unsw.edu.au>