Lukarnel

A microkernel in zig with rust microservices

Zig15

4 years ago

ewok-kernel

ewok-kernel

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

Ada72apache-2.0

3 years ago

adaarmarmv7m