wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
AdaApache-2.0
Stargazers
- abi666
- alzibabNewcastle University
- azmaveth
- bytewizzardSan Luis Obispo, CA
- cedric05Hyderabad
- cmdplusr
- damaki@AdaCore
- danielpiElectronic Innovations
- eivindjaNorway
- Fabien-Chouteau@AdaCore
- ficorax
- frett27Lyon
- Ge0@rhodatech
- gregertsSINTEF Digital
- hengestone
- jeanguyomarch
- jklmnn@AdaCore
- jscparker
- kezhou2
- mwmarklandIBM
- ncihnegn
- newsoftGoogle
- nizox@DataDog
- osannolikSweden
- PThierryFrance
- rationalthug
- senier@AdaCore
- settonAdaCore
- sigvartmh@SiliconLabs
- StaticallyTypedRiceVancouver BC, Canada
- stcarrezTwinlife/Skyrock
- tigr0w
- WenzelParis, France
- witoldgraca
- xdev-x
- zk2013