1<!--
2     Copyright 2020 Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7Contributors
8------------
9
10People who contributed to the seL4 code, design, or documentation in this
11repository (in alphabetical order).
12
13* Ali Akguel, NICTA
14* Hesham Almatary, Data61
15* June Andronick, NICTA & UNSW
16* Joel Beeren, NICTA
17* Bernard Blackham, NICTA & UNSW
18* Alexander Boettcher, Genode Labs
19* Timothy Bourke, NICTA
20* Andrew Boyton, NICTA & UNSW
21* G. Branden Robinson, Data61
22* Matthew Brassil, NICTA
23* Matthew Brecknell, Data61
24* Jimmy Brush
25* Mitchell Buckley, Data61
26* Aleksander Budzynowski, NICTA & UNSW
27* Manuel Chakravarty, NICTA & UNSW
28* Xi Ma Chen, NICTA
29* Luca (Wei) Chen, Data61
30* Nahida Chowdhury, NICTA
31* Peter Chubb, NICTA, Data61
32* Jonas Claeson
33* David Cock, NICTA & UNSW
34* Adrian Danis, NICTA, Data61
35* Matthias Daum, NICTA & UNSW
36* Berkus Decker
37* Philip Derrin, NICTA
38* Kofi Doku Atuah, Data61
39* Dhammika Elkaduwe, NICTA & UNSW
40* Kevin Elphinstone, NICTA & UNSW
41* Alison Felizzi, Data61
42* Matthew Fernandez, NICTA & UNSW, Data61
43* Peter Gammie, NICTA
44* Xin Gao, NICTA, Data61
45* Sylvain Gauthier, Data61
46* Alejandro Gomez-Londono, Data61
47* David Greenaway, NICTA & UNSW
48* Matthew Grosvenor, NICTA
49* Chris Guikema, Dornerworks
50* Lukas Haenel, NICTA
51* Axel Heider, Hensoldt Cyber
52* Gernot Heiser, NICTA & UNSW
53* Christian Helmuth, Genode Labs
54* Sebastian Holzapfel, Data61
55* Yu Hou
56* Robert Kaiser
57* Benjamin Kalman, NICTA
58* Felix Kam, NICTA
59* Justin King-Lacroix, NICTA
60* Gerwin Klein, NICTA & UNSW, Data61
61* Rafal Kolanski, NICTA & UNSW, Data61
62* Alexander Kroh, NICTA
63* Ramana Kumar, Data61
64* Damon Lee, Data61
65* Corey Lewis, NICTA, Data61
66* Frank Li, Data61
67* Japheth Lim, NICTA, Data61
68* Jasper Lowell, Data61
69* Anna Lyons, NICTA & UNSW, Data61
70* Daniel Matichuk, NICTA & UNSW
71* Stephanie McArthur, NICTA
72* Kent McLeod, Data61
73* Sam McNally, NICTA
74* Curtis Millar, Data61 & UNSW
75* Jesse Millwood, Dornerworks
76* Bruce Mitchener
77* Luke Mondy, Data61
78* Toby Murray, NICTA & UNSW
79* Tim Newsham
80* Ameya Palande, NICTA
81* Max R.D. Parmer
82* Thibaut Pérami, Data61
83* Sean Peters, NICTA
84* Victor Phan, Data61
85* Edward Pierzchalski, Data61
86* Matt Rice
87* Corey Richardson, Data61
88* Simon Rodgers, NICTA
89* Wink Saville
90* Oliver Scott, Data61
91* Sean Seefried, NICTA
92* Thomas Sewell, NICTA & UNSW, Data61
93* Yanyan Shen, Data61
94* Stephen Sherratt, NICTA, Data61
95* Simon Shields, Data61
96* Nick Spinale
97* Nathan Studer, Dornerworks
98* Jack Suann, Data61
99* Etienne Le Sueur, NICTA & UNSW
100* Partha Susarla, Data61
101* Miki Tanaka, Data61
102* Michael von Tessin, NICTA & UNSW
103* Claudia Tu, UNSW
104* Robbie Van Vossen, Dornerworks
105* Adam Walker, NICTA
106* Jeff Waugh
107* Zhicheng Wei
108* James Wilmot, NICTA
109* Simon Winwood, NICTA
110* Addo Wondo, Data61
111* Jiawei Xie, NICTA
112* Donny Yang, Data61
113* Ilya Yanok
114* James Ye, Data61
115* Amirreza Zarrabi, Data61
116* Jingyao Zhou, Data61
117* Siwei Zhuang, NICTA, Data61
118