AlphaUncommon
au-ts/lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
- Owner
- au-ts (organization)
- Stars
- Stars: 284
- Forks
- Forks: 47
- Language
- C
- License
- BSD-2-Clause
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by au-ts
All 2 repos by au-ts- au-ts/cogentStars: 184IsabellePrototype
Nearby in C
All C repos- tsoding/coroutinesStars: 284CAlpha
- incursi0n/GodPotatoBOFStars: 284CAlpha
- elliotttate/DKC1RecompStars: 284CAlpha
- moinakg/pcompressStars: 284CAlpha
- hiteshd/Android-RootkitStars: 284CAlpha
- amitdev/lru-dictStars: 284CAlpha