/ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs

Primary LanguageAdaApache License 2.0Apache-2.0

Stargazers