1.wookey-project / ewok-kernelA secure and high performances microkernel for building secure MCU-based IoTsadamicrokernelembeddedsecuritymicrocontrollermicrocontroller-firmware+5 moreAdaAPACHE-2.079 total10 forks+2 starsfrom 77 · score 1.10
2.atalii / adageada privilege escalationadasecuritysparksudoAdaGPL-3.012 total0 forks+2 starsfrom 10 · score 1.10
3.RavSS / HAVKAn attempt at a minimalistic and secure operating system.adaosdevoperating-systemkernelsecurityspark-adaAdaGPL-3.029 total3 forks+1 starsfrom 28 · score 0.69