GitHub topics: l4-microkernel
jserv/codezero
Codezero Microkernel
Language: C - Size: 3.56 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 107 - Forks: 27
Chlorophytus/step4
A work-in-progress L4 microkernel implementation in Rust.
Language: Rust - Size: 28.3 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
f9micro/f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Language: C - Size: 1.15 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 675 - Forks: 147
ilstam/memsc-master-thesis
A new system call forwarding mechanism for L4Linux (Master's Thesis)
Language: TeX - Size: 2.18 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
ksandstr/mung
A L4.X2 compatible microkernel
Language: C - Size: 4.78 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 13 - Forks: 0
