multikernel

Here are 2 public repositories matching this topic...

Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models

c kernel os microkernel monolithickernel multikernel mcube

Birth is the operating system which gives its name to the project. Currently on hold waiting for the Nat compiler to be ready.

security performance modern osdev simplicity multikernel

Add a description, image, and links to the multikernel topic page so that developers can more easily learn about it.

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