FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

exokernel · GitHub Topics · GitHub

Explore Topics Trending Collections Events GitHub Sponsors

#

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 16 public repositories matching this topic...

Language: All Sort: Most stars

operating-function / pallas

An event sourced, purely functional application platform.

haskell functional-programming operating-system unikernel exokernel personal-server purely-functional operating-function

Updated Mar 5, 2025
Haskell

gwoplock / ExOS

Exokernel for the consumer

c cpp cpp11 operating-system libc x86 newlib exokernel live-relinking libos mit-exokernel

Updated Apr 15, 2019
C++

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

mutaphore / JOS-Exokernel

Implementation of the core of an exokernel-style operating system

operating-system nyu exokernel

Updated Dec 6, 2014
C

bahmanm / ifem-os

Aspiring to become an operating system...

c assembly-language operating-systems i386 microkernel exokernel

Updated May 23, 2019
C

tammela / lunarOS

An exokernel operating system for fun

os exokernel hobby-os

Updated Mar 22, 2020
C

kpshekhar / AdvOS-JOS

Implementation of JOS exokernel as per MIT 6.828 Class.

c exokernel jos

Updated Mar 20, 2017
Assembly

alkuzin / eciton-research

Eciton - modular microkernel/exokernel research prototype written in Rust.

rust kernel experimental assembly osdev operating-system kfs microkernel bare-metal exokernel baremetal systems-programming assembly-x86 microkernel-architecture rust-osdev rust-os-dev osdev-projects osdev-tutorial

Updated Dec 26, 2025
Rust

Poprdi / morpheusx

ExoKernel OS

linux rust research runtime firmware low-level efi exokernel rustaceans

Updated Aug 16, 2026
Rust

rtthw / rhubarb

Hobby operating system.

os osdev operating-system microkernel from-scratch exokernel

Updated Jul 10, 2026
Rust

mhmoedali04-max / Tri-Core-Operating-system-Architecture

A Tri-Core OS architecture designed for structural immunity and high-performance execution.

linux security kernel architecture operating-system cybersecurity exokernel

Updated Jul 17, 2026

Inphinie / NeuroLang_TensorOS

Système d'exploitation Exokernel "Bare-Metal" et langage dédié (Neuro-Lang) pour l'IA. Élimination de la "Taxe d'Abstraction" : exécution Ring-0, mémoire unifiée SASOS et accès GPU direct sans latenc

rust hpc gpu-computing bare-metal exokernel sasos post-linux neuro-lang tensor-fs cuda-alternative

Updated Jan 6, 2026

assilassilkerr-boop / AssilOS-1.5

an AssilOS Project's first 64-bit exokernel

kernel assembly assembler osdev exokernel algeria 64-bit baremetal baremetal-kernel batna

Updated Jul 28, 2026
Assembly

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

rollybob / Plinth-OS

A proof of concept for an Exokernel type operating system written in rust. It contains two library OSes with different memory policies, that both run on the same kernel. Boot-log verified in CI under QEMU.

rust osdev qemu no-std exokernel

Updated Aug 28, 2026
Rust

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

Back | FazBrowse Home | New Git URL