Thanks to visit codestin.com
Credit goes to github.com

#

exokernel

A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.

Here are 7 public repositories matching this topic...

GeniusesGroup / PersiaOS

Distributed Operating System on Exokernel (Unikernel) Concepts

kernel os osdev operating-system unikernel routeros exokernel

Updated Oct 7, 2023
C

foreverbell / JOS

JOS Lab of MIT 6.828: Operating System Engineering.

operating-system exokernel jos

Updated Aug 29, 2017
C

bahmanm / ifem-os

Aspiring to become an operating system...

c assembly-language operating-systems i386 microkernel exokernel

Updated May 23, 2019
C

mutaphore / JOS-Exokernel

Implementation of the core of an exokernel-style operating system

operating-system nyu exokernel

Updated Dec 6, 2014
C

tammela / lunarOS

An exokernel operating system for fun

os exokernel hobby-os

Updated Mar 22, 2020
C

charlotte-os / Catten-C

The Kernel of CharlotteOS, An Experimental Modern Operating System

kernel x86-64 operating-system assembly-language system-programming aarch64 exokernel capability-security c23 monolithic-kernel

Updated Aug 18, 2025
C

Oichkatzelesfrettschen / exov6

Attempt at playing with exokernel thoughts and the MIT xv6 OS to synthesize the FeurerBird Exokernel:PhoenixOS ExoV6

unix xv6 exokernel

Updated Sep 10, 2025
C

Followers: 242 followers
Website: github.com/topics/kernel
Wikipedia: Wikipedia