l4-microkernel

There are 0 repository under l4-microkernel topic.

• f9micro / f9-kernel

  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

  armcortex-membeddedl4-microkernelmicrokernel
  Language:C 680
• codezero

  jserv / codezero

  Codezero Microkernel

  l4-microkernelarmhypervisormicrokernelembedded
  Language:C 105

• ksandstr / mung

  A L4.X2 compatible microkernel

  cl4-microkernelmicrokernelmung
  Language:C 14

• ilstam / memsc-master-thesis

  A new system call forwarding mechanism for L4Linux (Master's Thesis)

  l4-microkernellinux-kernelmaster-thesis
  Language:TeX 1

• Chlorophytus / step4

  A work-in-progress L4 microkernel implementation in Rust.

  l4-microkernelrust-os
  Language:Rust