Microkernel

BugOS

bugos.nop.hu

New microkernel operating system for x86 computers, many features: network and Internet modules, file system (FAT); kernel handles memory, tasks, micro kernels, and some base devic…

493 visits Sep 8, 2024 Details

Cosy

cs.uni-paderborn.de

Goal: scalability of highly parallel multicomputer systems. Based on small microkernel that does process management, interprocess communication; all other services are processes ou…

26 visits Aug 13, 2025 Details

Microkernel-based OS Efforts

cbbrowne.com

By Christopher Browne. Brief, clear descriptions and critiquing of microkernel design concepts, with some links. Puts much current activity in larger context.

66 visits Jul 12, 2025 Details

MorphOS

morphos.pegasosppc.com

Goal: Provide modern functionality for a new OS layer and run most Amiga applications as efficiently as possible in a box environment with no Classic Amiga custom chips available.

351 visits Feb 16, 2023 Details

PETROS

petros-project.com

By Trumpet Software International, 32-bit microkernel OS for x86 PCs coded in Object Pascal variant. Built from first principles to focus on small size, modularity, and be fully co…

246 visits Nov 27, 2024 Details

ShagOS

csh.rit.edu

Portable object-oriented microkernel OS, dynamically loaded device drivers, fully redesigned and rewritten many times in C++, runs on VAX, x86. Ongoing experiment in using O-O para…

458 visits Jan 3, 2024 Details

SUMO

comp.lancs.ac.uk

SUpport for Multimedia in Operating systems, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimed…

55 visits May 7, 2025 Details

The Open Group: Advanced Research

osf.org

Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS).

187 visits Feb 27, 2024 Details

Topsy

tik.ee.ethz.ch

Teachable Operating System: tiny multithreaded messaging microkernel, in ANSI C; protected threads, memory managed, and thread/process control. From undergraduate course on concurr…

356 visits Nov 25, 2025 Details

Category Info