Showing 55 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 1
    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
  • 2
    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
  • 3
    The L4/MIPS port of the L4 microkernel for the 64-bit MIPS R4x00 processor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Izaki is a new attempt to implement a new kernel based in the microkernel idea.
    Downloads: 0 This Week
    Last Update:
    See Project
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 5
    Minike is a microkernel based real-time operating system, primarily designed for embedded use.
    Downloads: 0 This Week
    Last Update:
    See Project