 |
Dr. Uwe Dannowski
PhD student, UKaemail: Uwe.Dannowski ira.uka.de
Chief Portability Officer
Mr. "C++ is good for you"
Kickstart |  |
Jens Doll
Former Research Student, Ukaemail: jdollira.uka.de
VHPTs for IA-64
i486 port |
 |
Dr. Kevin Elphinstone
External contributor, UNSWemail: kevinecse.unsw.edu.au
phone: +61 2 9385 7338
|  |
Stefan Götz
PhD student, RWTH Aachenemail: Stefan.Goetzuni-tuebingen.de
Multiserver system design |
 |
Andreas Haeberlen
PhD student, Rice Universityemail: ahaecs.rice.edu
IDL4 |  |
Prof. Dr. Gernot Heiser
External contributor, UNSWemail: gernotcse.unsw.edu.au
phone: +61 2 9385 5156
|
 |
Joshua LeVasseur
PhD student, UKaemail: levasseurira.uka.de
Professional penflipper
L4Ka::Virtualization
Multiserver system design
PowerPC port |  |
Prof. Dr. Jochen Liedtke
Father of L4 |
 |
Daniel Potts
PhD student, UNSWAlpha port |  |
Espen Skoglund
PhD student, UKaemail: skoglundira.uka.de
L4 security models
IA-64 port
Mascot nanny |
 |
Jan Stöß
PhD student, UKaemail: stoessira.uka.de
phone: +49 (721) 608-4056
AMD-64 port | |
Harvey Tuch
PhD student, UNSWARM port |
 |
Dr. Volkmar Uhlig
IBM Researchemail: volkmarira.uka.de
phone: +1 (914) 328-2840
MP issues
IA-32 port
L4Linux |  |
Carl van Schaik
PhD student, UNSWPowerPC64 and Mips64 ports |
 |
Adam "WeirdArms" Wiggins
PhD student, UNSWemail: awigginscse.unsw.edu.au
Sparc64 port | |
Simon J. Winwood
PhD student, UNSWAlpha and Mips64 ports |
