camelot-os/sentry-kernel
The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems
GitHub repository with 9 stars and 7 forks.
Language: C
Topics: embedded-systems, mcu, micro-kernel, secure-element, security