Search Results for "microkernel"
Sort By:
Showing 23 open source projects for "microkernel"
View related business solutions-
Ship AI Apps Faster with Vertex AIShip AI apps and features faster with Vertex AI—your end-to-end AI platform. Access Gemini 3 and 200+ foundation models, fine-tune for your needs, and deploy with enterprise-grade MLOps. Build chatbots, agents, or custom models. New customers get $300 in free credit.
-
99.99% Uptime for MySQL and PostgreSQL on Google CloudCloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
-
1
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. -
2
pirix
microkernel operating system
-
3
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.
-
4
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
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.
-
6
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.
-
7
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.
-
8
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.
-
9
The Dynamo Kernel Project intends to create a functional yet modular, powerful yet scalable microkernel for home, business and industry.
-
Cut Cloud Costs with Google Compute EngineSave on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
-
10
The aim of our project is to create a portable microkernel and a set of OS services that allow good local performance, multiple concurrent operative system personalities (ie UNIX and a native interface) and easy integration of distributed components.
-
11
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.
-
12
Pistrix (lat. Shark) is a Open Source project of Operation System, written on Assembly and C Languages. The OS model is microkernel, because the basic task of the Pistrix is Speed and Small Size.
-
13
OsZ - microkernel operating sustem written in assembly language. Requires IBM-PC-compatible computer with at least 4mb or RAM and x386 (or better x86 compatible) processor.
-
14
-
15
CubTrix is a graphical user interface with support for real-time applications. Built on top of a small, fast and efficient real-time microkernel.
-
16
-
17
Soft-realtime operating system, based in a microkernel design and providing QoS and persistence capabilities.
-
18
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.
-
19
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, ...)
-
20
-
21
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/
-
22
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.
-
23
Yamit - Scalable, Portable and High Performance POSIX complaint OS. Microkernel based Operating System designed for tightly or loosely coupled multiprocessor hardware.
- Previous
- You're on page 1
- Next
