people who contributed to code, design, and docs

(state before release on 29 July 2014)

CONTRIBUTORS.md

+Contributors
+------------
+
+People who contributed to the seL4 code, design, or documentation in this
+repository (in alphabetical order).
+
+* June Andronick, NICTA & UNSW
+* Ali Akguel, NICTA
+* Joel Beeren, NICTA
+* Bernard Blackham, NICTA & UNSW
+* Timothy Bourke, NICTA
+* Andrew Boyton, NICTA & UNSW
+* Matthew Brassil, NICTA
+* Aleksander Budzynowski, NICTA & UNSW
+* Manuel Chakravarty, NICTA & UNSW
+* Xi Ma Chen, NICTA
+* Nahida Chowdhury, NICTA
+* Peter Chubb, NICTA
+* David Cock, NICTA & UNSW
+* Adrian Danis, NICTA
+* Matthias Daum, NICTA & UNSW
+* Philip Derrin, NICTA
+* Dhammika Elkaduwe, NICTA & UNSW
+* Kevin Elphinstone, NICTA & UNSW
+* Matthew Fernandez, NICTA & UNSW
+* Peter Gammie, NICTA
+* Xin Gao, NICTA
+* David Greenaway, NICTA & UNSW
+* Matthew Grosvenor, NICTA
+* Lukas Haenel, NICTA
+* Gernot Heiser, NICTA & UNSW
+* Benjamin Kalman, NICTA
+* Justin King-Lacroix, NICTA
+* Gerwin Klein, NICTA & UNSW
+* Rafal Kolanski, NICTA & UNSW
+* Alexander Kroh, NICTA
+* Etienne Le Sueur, NICTA & UNSW
+* Corey Lewis, NICTA
+* Japheth Lim, NICTA
+* Anna Lyons, NICTA & UNSW
+* Stephanie McArthur, NICTA
+* Sam McNally, NICTA
+* Toby Murray, NICTA & UNSW
+* Ameya Palande, NICTA
+* Sean Peters, NICTA
+* Simon Rodgers, NICTA
+* Sean Seefried, NICTA
+* Thomas Sewell, NICTA & UNSW
+* Michael von Tessin, NICTA & UNSW
+* Adam Walker, NICTA
+* James Wilmot, NICTA
+* Simon Winwood, NICTA
+* Jiawei Xie, NICTA