Showing 60 open source projects for "microkernel"

View related business solutions
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start 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: 23 This Week
    Last Update:
    See Project
  • 2

    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
  • 3
    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: 1 This Week
    Last Update:
    See Project
  • 4

    speccy3os

    Message passing microkernel-based Operating System for ZX Spectrum +3e

    This project is an attempt to design an message passing microkernel-based Operating System for the ZX Spectrum +3e computer equipped with ZXMMC mass storage device. It was made mostly for PoC purpose.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 5
    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
  • 6
    XeNOS
    XeNOS is a portable microkernel operating system written mostly in C++. Its primary goal is to provide a simple, object oriented device driver interface and API.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    KoinKoin is an operating system, based on a second generation microkernel, k2 (strongly inspired by the L4 API). KoinKoin offers a modular design allowing to build specific-purpose and minimalist operating systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Phlox OS and Phlox Microkernel
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    pirix

    microkernel operating system

    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 10

    Orchid

    A microkernel, capability-based operating system for the Cloud.

    An object oriented, capability-based operating system kernel for the Cloud.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Mstring microkernel

    Real time microkernel

    μString microkernel is the part of Jari OS project. It's a preemptible, real-time microkernel that used in Jari OS platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    Jari OS is a real-time microkernel operating system which runs in terms of multi-service architecture. Core system consists of its own microkernel μString, core and system services, set of device drivers launched as trusted services.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Real-time, modular, microkernel-based operating system under development for i386. The first goal is to support 32-bit DOS protected mode applications made with DJGPP as well as native applications.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    Hobbyist operating system using a new microkernel. The objective is to not get bogged down by ancient legacy processor support. The OS is meant to be designed from the ground up, without utilizing any legacy or existing implementations or designs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Aurora OS is an operating system designed in a microkernel format for all users. The object is to develop a modular, mulitplatform, multitasking Operating System that is simple, effective, and powerful.
    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
    FOS - open source 32-bit microkernel operating system.
    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
    ARGENT-OS is an Unix-like operating system based on a microkernel architecture. It's born to be used for educational purposes; Its name derives from argentinian operating System.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next