Showing 54 open source projects for "microkernel"

View related business solutions
  • Run Any Workload on Compute Engine VMs Icon
    Run Any Workload on Compute Engine VMs

    From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.

    Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
    Try Compute Engine
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    Redox

    Redox

    Redox is an operating system written in Rust

    Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications. Redox is a general purpose operating system written in pure Rust. Our aim is to provide a fully functioning Unix-like microkernel, that is both secure and free. We have modest compatibility with POSIX, allowing Redox to run many programs without porting. We take inspiration from Plan9, Minix, Linux, and BSD.
    Downloads: 34 This Week
    Last Update:
    See Project
  • 2
    k23

    k23

    Experimental WASM Microkernel Operating System

    k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional OS structures from the ground up.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Genode

    Genode

    Genode OS Framework

    Genode is a capability-based, component-oriented operating system framework focused on building secure, modular, and flexible operating systems. Unlike monolithic or microkernel-only designs, Genode allows developers to construct OSes from fine-grained components that communicate through well-defined interfaces. It supports multiple kernels including NOVA, seL4, and Fiasco.OC, and has been used to build everything from microhypervisors to full desktops. Genode places strong emphasis on security, fault isolation, and formal verifiability, making it ideal for critical systems and research environments.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    NocoBase

    NocoBase

    Extensibility-first, open-source no-code/low-code platform

    ...It features a WYSIWYG interface with a one-click switch between usage and configuration modes, enabling users to compose suitable interfaces much like Notion. All functionalities are implemented as plugins using a microkernel architecture, allowing for extensive customization, including pages, blocks, actions, APIs, and data sources. NocoBase is written in TypeScript and utilizes mainstream technology stacks such as Node.js and React, ensuring transparency and control.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Build AI Apps with Gemini 3 on Vertex AI Icon
    Build AI Apps with Gemini 3 on Vertex AI

    Access Google’s most capable multimodal models. Train, test, and deploy AI with 200+ foundation models on one platform.

    Vertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
    Try Vertex AI Free
  • 5
    Hermit Kernel

    Hermit Kernel

    A Rust-based, lightweight unikernel

    Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Obscura

    It's a personal microkernel project designed as a learning ground.

    Obscura is a personal microkernel project designed as a learning ground for low-level operating systems. Its initial aim is to lay the foundations for a minimalist kernel, then gradually evolve towards a modular, stable and simple operating system. ## 🧭 Objectives - Learn and master : - Low-level C language - x86/x86_64 assembler - Modern processor architecture - Fundamental principles of operating systems - Develop a microkernel : - Lightweight and modular - Able to handle hardware interrupts (keyboard, timer) - Support minimal user space - Evolve to a simple OS: - With a rudimentary shell - Isolated user processes - A basis for experimenting with system concepts ## ⚙️ Project status > 🚧 Project under development - Learning phase (year 1) Short-term planned features : - [ ] Multiboot-compatible GRUB bootloader - [ ] Text mode display (VGA) - [ ] Interrupt management (IRQ / keyboard) - [ ] First task manager loop
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    HelenOS

    HelenOS

    A microkernel-based multiserver operating system written from scratch.

    HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Xyris

    Xyris

    The Xyris Kernel

    Xyris is a microkernel-based operating system developed with a focus on modularity, simplicity, and modern code practices. Written in C++, Xyris separates drivers and system services into isolated components using message passing, in line with microkernel philosophy. It’s designed as a research and hobbyist OS, with a clean codebase and early implementations of multitasking, system calls, and filesystem abstractions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Resea

    Resea

    A microkernel-based hackable operating system

    resea is a small, message-passing-based operating system kernel designed with microkernel principles in mind. Written in C with minimal dependencies, it emphasizes modularity, isolation, and simplicity. resea includes a basic POSIX-like interface and supports multitasking, IPC, and user-space services. It serves as both a microkernel OS experiment and a platform for learning about low-level system design without the complexity of larger operating systems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 10
    LorenaSO

    LorenaSO

    Lorena es un sistema operativo escrito en C, C++ y Ensamblador.

    Lorena es un sistema operativo de tipo microkernel, escrito en C, C++ y Ensamblador y basado en NextDivel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    PowerNex

    PowerNex

    An operating system written in D

    PowerNex is a microkernel operating system written entirely in the Nim programming language. Designed as a learning and research project, it explores OS development using a modern high-level systems language while still offering low-level control. PowerNex focuses on modularity, simplicity, and code clarity. While still in its early stages, the project includes basic kernel functionality, including memory management, task switching, and a custom bootloader, offering insight into building an OS from the ground up using newer programming paradigms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    DayOS
    DayOS ist ein freies und kostenlos erhältliches Hobby Betriebssystem, das das ziel hat, einen sicheren und schnellen Microkernel für den Alltagsgebrauch zu entwickeln. Es wird in C/C++ und x86 Assembler geschrieben.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13

    pirix

    microkernel operating system

    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    M String is a microkernel based on some part of oskit libs. It's designed to be small, simple, and have a simple API for server interprocess communication.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    lyos

    lyos

    An Open Source Operating System

    Lyos is an open source operating system that runs on 32-bit x86-based PCs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    yaMOS - yet another My Operating System
    yaMOS stands for: yet another "My Operating System". This is a hobby Operating System, let's see to what it develops... At the moment it's only a kernel written in C++ and Assemly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    OOSys is a plan to create an object-oriented operating system based on classes and objects instead of files and programs, with a strong focus on both clean design and practical usefulness. As a start, we are developing a microkernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    IFEM (Industrial, Fault tolerant, EMbedded) is a modern OS with a hybrid kernel design benefitting from ideas such as Pure Microkernel and Exokernel, aiming industrial application, fault-tolerance, embedded applications and perfect modularity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Open Source microkernel for ia32 architecture. Basically this is a full functional operating system implementation using GNU C and nasm. Fully commented in spanish and with external documents explaining system calls, library functions, design, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Coherent MK is a Java based microkernel framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ManRiX is an open source microkernel based operating system with POSIX interface. It is written from scratch using C and Assembly. Microkernel contains just few basic components of an Operating System while others are implemented as user process.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    The Dynamo Kernel Project intends to create a functional yet modular, powerful yet scalable microkernel for home, business and industry.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Colonel intends to be a simplistic microkernel offering capability protected ipc. It's main purpose is of educational nature, it is _not_ meant to be used as microkernel for a "real" OS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    j2ee4all is a height level J2EE framework. Based on MicroKernel Component and Service Layering architecture.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB