seL4/camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
Stargazers
- andersm
- anodium
- B-RichNone
- chenyi852Germany
- cr7pt0gr4ph7
- daejungkimLG Electronics Inc.
- goalall
- heshamelmatary
- jackman0Jackman Labs
- malus-brandywineOttawa, ON
- nekoniaowMontreal
- omasanoriJapan, or anywhere else
- SamuraiCrow@AmicableComputers @EEC-Developers
- thanhtoan1196
- tupelo-shen
- Vfreeze31Canberra, Australia
- wolverian@reaktor
- XilongPeiTongji University
- xurtis@seL4
- ZanejinsPeking University