Showing 47 open source projects for "microkernel"

View related business solutions
  • $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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1
    MDF is microkernel operating system. Module architecture minimalistic design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    "HALOS: A Light Operating System" will provide a microkernel-based OS with as principal objectives to (1) run the Jail virtual machine (2) be POSIX-compliant (3) use Newlib as libc (4) be secure (5) be fast & real-time (6) target x86, PowerPC and Sparc
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    CubTrix is a graphical user interface with support for real-time applications. Built on top of a small, fast and efficient real-time microkernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    KuroiKitsune es un proyecto para desarrollar una Kernel con estándares POSIX. El objetivo principal es aprender a trabajar y desarrollar un proyecto de kernel libre y rendible. El proyecto se escribirá como no, en Assembler, C y C++.
    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.
    Try Free
  • 5
    POSIX compatible microkernel
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    New microkernel OS
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Quantix is a microkernel operating system distribution based on the Mach kernel. Quantix uses the X windowing environment for a user interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Soft-realtime operating system, based in a microkernel design and providing QoS and persistence capabilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 10
    A microkernel operating system distribution offering (among other things) very low hardware requirements, full and easy portability and easy-readable source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Mithrill is an exprerimental microkerenl based operating system. Out initial interest will be in the research of persistant and distributed systems, and security techniques on top of a microkernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    GenesisAE defines and implements an application environment for portable, network-transparent and secure applications. GenesisAE is based on a QNX-like (S/R/R) microkernel and on basic servers (providing device I/O, a database, ...)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Wonderland is a free, microkernel based OS for 386 based systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Microkernel OS, based on own microkernel, able to run on PC/i386 and better.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Tesoro is an open source operating system project fully written in x86 Assembler language. The architecture is partially based on some QNX ideas and some fresh ideas. It combines low level assembler coding (e.g. microkernel with extremely fast task switch
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A Protected mode microkernel for the x86 system. With features like memory management, multitasking and protection will be included in the kernel, the rest will be added as drivers/software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    The L4/Alpha port of the L4 microkernel, currently supports the entire range of Alpha 64-bit processors including the 21064, 21164 and 21264. Multiprocessor support exists for 21264. L4/Alpha is distributed under the GPL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Yamit - Scalable, Portable and High Performance POSIX complaint OS. Microkernel based Operating System designed for tightly or loosely coupled multiprocessor hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The L4/MIPS port of the L4 microkernel for the 64-bit MIPS R4x00 processor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Izaki is a new attempt to implement a new kernel based in the microkernel idea.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Minike is a microkernel based real-time operating system, primarily designed for embedded use.
    Downloads: 0 This Week
    Last Update:
    See Project