ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
72 stars
11 watching
9 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list
adaarmarmv7membeddedewokewok-kernelmicrocontrollermicrocontroller-firmwaremicrokernelsecurityspark
ohenley/awesome-ada