l4-microkernel

There are 5 repositories under l4-microkernel topic.

f9micro/f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Language:C697 106 87148
jserv/codezero
Codezero Microkernel
Language:C111 15 027
ksandstr/mung
A L4.X2 compatible microkernel
Language:C15 5 00
ilstam/memsc-master-thesis
A new system call forwarding mechanism for L4Linux (Master's Thesis)
Language:TeX1 2 00
Chlorophytus/step4
A work-in-progress L4 microkernel implementation in Rust.
Language:Rust2 0