#

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

operating-function / pallas

An event sourced, purely functional application platform.

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

Updated Oct 25, 2024
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

phruse / laonOS

An Open Source OS (in progress)

kernel study cpp os os-dev exokernel laon

Updated Jun 7, 2024
C

bitbloxhub / rexos

A simple, small, modern, and fast exokernel, written in Rust

rust fast kernel modern simple osdev small rust-lang exokernel rust-os rust-kernel

Updated Jun 28, 2021
Rust

Followers: 204 followers
Wikipedia: Wikipedia