seL4/l4v Stargazers
- Andrew Boytonaboyton
- Andreas Schlemmerameingast
- apskii
- Andrey Shtykovskiyashty
- Alexander Sinyaginasinyagin
- Brian Campbellbacam
- catullcatull
- Bedniakov Alekseich3sh1r
- Christopher David Shirkchristophershirk
- cnd
- Corey O'Connorcoreyoconnor
- Damir Sharipovdammer
- Dmitriy Blokhindblokhin
- Chris Williamsdiodesign
- Dylan McNameedylanmc
- Dmytro SirenkoEarlGray
- eugene yokotaeed3si9n
- Mateusz KowalczykFuuzetsu
- Lev V. Babchenkogourytch
- Hannes Mehnerthannesm
- Rolf Sommerhalderhb9cwp
- hchunhui
- Jonathan Fischoffjfischoff
- daniel gratzerjozefg
- Joseph Kinirykiniry
- KJkjseefried
- Gerwin Kleinlsf37
- Peter Rudenkopetro-rudenko
- Rick Elrodrelrod
- Sergey Abramyansaa
- Stephen Diehlsdiehl
- Mort Yaosoimort
- Aaron Muir Hamiltonxorgy
- Ramana Kumarxrchz
- Anton KochkovXVilka
- Junhee chozlqhem