seL4/microkit Watchers
- Andy Buiandybui01
- Ben Lesliebennoleslie
- Corey Lewiscorlewis
- eemailme
- Markku Ahvenjärvielmankku
- Gernot Heisergernotheiser
- Hannu Lyytinenhlyytine
- Ihor Kuzikuz
- Johannes Åman PohjolaIlmariReissumies
- Ivan VelickovicIvan-Velickovic
- Jevin Swevaljevinskie
- James Cloosjhcloos
- Jorge PereiraJorgeMVP
- joshmatthews
- Kent McLeodkent-mcleod
- kevinelp
- Nataliya Korovkinamalus-brandywine
- Matthew Brecknellmbrcknl
- Nick Spinalenspin
- Anna Lyonspingerino
- unsoundsystem
- Peter Chubbwom-bat
- Rafal KolanskiXaphiosis
- XavierCooney
- yyshen