l4-microkernel

Here are 5 public repositories matching this topic...

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

arm embedded cortex-m microkernel rtos l4-microkernel real-time-kernel

Codezero Microkernel

arm embedded hypervisor microkernel l4-microkernel

A L4.X2 compatible microkernel

c microkernel mung l4-microkernel

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

A work-in-progress L4-style microkernel implementation

l4-microkernel

To associate your repository with the l4-microkernel topic, visit your repo's landing page and select "manage topics."