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