Contributors ------------ People who contributed to the seL4 code, design, or documentation in this repository (in alphabetical order). * Ali Akguel, NICTA * Hesham Almatary, Data61 * June Andronick, NICTA & UNSW * Joel Beeren, NICTA * Bernard Blackham, NICTA & UNSW * Alexander Boettcher, Genode Labs * Timothy Bourke, NICTA * Andrew Boyton, NICTA & UNSW * G. Branden Robinson, Data61 * Matthew Brassil, NICTA * Matthew Brecknell, Data61 * Jimmy Brush * Mitchell Buckley, Data61 * Aleksander Budzynowski, NICTA & UNSW * Manuel Chakravarty, NICTA & UNSW * Xi Ma Chen, NICTA * Luca (Wei) Chen, Data61 * Nahida Chowdhury, NICTA * Peter Chubb, NICTA, Data61 * Jonas Claeson * David Cock, NICTA & UNSW * Adrian Danis, NICTA, Data61 * Matthias Daum, NICTA & UNSW * Berkus Decker * Philip Derrin, NICTA * Kofi Doku Atuah, Data61 * Dhammika Elkaduwe, NICTA & UNSW * Kevin Elphinstone, NICTA & UNSW * Alison Felizzi, Data61 * Matthew Fernandez, NICTA & UNSW, Data61 * Peter Gammie, NICTA * Xin Gao, NICTA, Data61 * Sylvain Gauthier, Data61 * Alejandro Gomez-Londono, Data61 * David Greenaway, NICTA & UNSW * Matthew Grosvenor, NICTA * Chris Guikema, Dornerworks * Lukas Haenel, NICTA * Axel Heider, Hensoldt Cyber * Gernot Heiser, NICTA & UNSW * Christian Helmuth, Genode Labs * Sebastian Holzapfel, Data61 * Yu Hou * Robert Kaiser * Benjamin Kalman, NICTA * Felix Kam, NICTA * Justin King-Lacroix, NICTA * Gerwin Klein, NICTA & UNSW, Data61 * Rafal Kolanski, NICTA & UNSW, Data61 * Alexander Kroh, NICTA * Ramana Kumar, Data61 * Damon Lee, Data61 * Corey Lewis, NICTA, Data61 * Frank Li, Data61 * Japheth Lim, NICTA, Data61 * Jasper Lowell, Data61 * Anna Lyons, NICTA & UNSW, Data61 * Daniel Matichuk, NICTA & UNSW * Stephanie McArthur, NICTA * Kent McLeod, Data61 * Sam McNally, NICTA * Curtis Millar, Data61 & UNSW * Jesse Millwood, Dornerworks * Bruce Mitchener * Luke Mondy, Data61 * Toby Murray, NICTA & UNSW * Tim Newsham * Ameya Palande, NICTA * Max R.D. Parmer * Thibaut Pérami, Data61 * Sean Peters, NICTA * Victor Phan, Data61 * Edward Pierzchalski, Data61 * Matt Rice * Corey Richardson, Data61 * Simon Rodgers, NICTA * Wink Saville * Oliver Scott, Data61 * Sean Seefried, NICTA * Thomas Sewell, NICTA & UNSW, Data61 * Yanyan Shen, Data61 * Stephen Sherratt, NICTA, Data61 * Simon Shields, Data61 * Nick Spinale * Nathan Studer, Dornerworks * Jack Suann, Data61 * Etienne Le Sueur, NICTA & UNSW * Partha Susarla, Data61 * Miki Tanaka, Data61 * Michael von Tessin, NICTA & UNSW * Claudia Tu, UNSW * Robbie Van Vossen, Dornerworks * Adam Walker, NICTA * Jeff Waugh * Zhicheng Wei * James Wilmot, NICTA * Simon Winwood, NICTA * Addo Wondo, Data61 * Jiawei Xie, NICTA * Donny Yang, Data61 * Ilya Yanok * James Ye, Data61 * Amirreza Zarrabi, Data61 * Jingyao Zhou, Data61 * Siwei Zhuang, NICTA, Data61