Showing 35 open source projects for "micro kernel"

View related business solutions
  • Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    SIMDOS stands for SImple Microkernel Distributed Operating System. SIMDOS is a micro-kernel based operating system which implements the concepts of Distributed Shared Memory at the kernel level to provide seemless addition on cluster nodes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A multi-tasking, multi-threaded micro-kernel operating system for the x86 platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The goal of the Christ-OS project is to create a real time micro kernel operating system with a preemptive kernel for embedded systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    SDL REFLEX is the micro kernel of a real time operating system for the AVR microcontroller family. The kernel is especially designed to implement systems described in SDL – “The Specification and Description Language” . Compiler GNU ANSI-C for AVR v.3.3
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    EvilOS is supposed to be a portable, object oriented micro kernel, used as a base for a general-purpose operating system.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Hadie - Hardware Abstracting Device Independent Environment. Or just another micro kernel for embedded devices. Supported architecture are i8051 (80515c), i166 (XC161CJ), Tricore (TC1775B), m68k (m68332) and i386.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Based on an architecture that is a mix of exokernel and micro-kernel, ev/ros shall be an innovative and revolutionary operating system that will support many platforms and provide conventional, distributed, and hard real time features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Just another view on how should OS be designed. Streams based architecture, micro kernel, dynamic loading/removing drivers without OS rebooting, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The Gemini Nucleus is a production quality micro kernel based on the latest findings in operating system research.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 10
    shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB