seL4/l4v Watchers
- Alexander Boettcheralex-ab
- Alexander TAleXoundOS
- wenlongaogrcs
- Jon Portnoyavenj
- B'Random Cliphord EiQB-Rich
- Corey Lewiscorlewis
- dragondk
- Will DietzdtzWill
- eemailme
- gapry
- heb1001
- iamyfiamyf
- Ihor Kuzikuz
- Johannes Åman PohjolaIlmariReissumies
- James Cloosjhcloos
- joshua-nigro
- Kent McLeodkent-mcleod
- proof.KKevinKu
- Luka Duranoviclduranovic
- Lucas Fernando Amorimlfamorim
- Gerwin Kleinlsf37
- Matthew Brecknellmbrcknl
- Miki Tanakamktnk3
- Michael Yoomsjyoo
- Oliver Scottoliver-wm
- Pyae Phyo Myint Soeptwoms
- qubitwise
- shangchangTang
- shqlishqli
- ssrg-bamboo
- Toby Murraytobycmurray
- toschoo
- Victor Phanvictorphan
- Alison FelizziWellMcGarnicle
- Peter Chubbwom-bat
- yanyushr