CTSRD-CHERI/cherios
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
C
Watchers
- allisonrandal
- arichardsonMountain View, CA
- baz21
- benlaurieUK
- brooksdavis
- bsdjhbArarat River Consulting, LLC
- bukinrUniversity of Cambridge
- cfcs#nolibc movement
- coralmw@POETSII
- davidchisnallSCI Semiconductor
- dstolfaUniversity of Cambridge
- emasteThe FreeBSD Foundation
- gcjenkinsonCapabilities Limited
- gvnn3Neville-Neil Consulting
- hannesm@robur-coop
- hbcam
- heshamelmatary
- Jerryxia32
- jevinskieLafayette, Indiana
- jhcloos
- jonwoodruffUniversity of Cambridge
- jrtc27University of Cambridge
- khilangudka
- markjdbToronto, ON, Canada
- michael-roe
- nwf@SCISemi
- PeterSewellUniversity of Cambridge
- qwattash
- rmn30SCI Semiconductor
- rwatsonUniversity of Cambridge
- staceysonDallas, Texas
- swm11University of Cambridge
- talsewellUNSW
- tmarkettosUniversity of Cambridge
- traszUniversity of Cambridge
- yzhe8769Cambridge, United Kingdom