Search Results for "microkernel"
Sort By:
Showing 44 open source projects for "microkernel"
View related business solutions-
Build AI Apps with Gemini 3 on Vertex AIVertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
-
Deploy Apps in Seconds with Cloud RunCloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
-
1
k23
Experimental WASM Microkernel Operating System
k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional OS structures from the ground up. -
2
NocoBase
Extensibility-first, open-source no-code/low-code platform
...It features a WYSIWYG interface with a one-click switch between usage and configuration modes, enabling users to compose suitable interfaces much like Notion. All functionalities are implemented as plugins using a microkernel architecture, allowing for extensive customization, including pages, blocks, actions, APIs, and data sources. NocoBase is written in TypeScript and utilizes mainstream technology stacks such as Node.js and React, ensuring transparency and control. -
3
Hermit Kernel
A Rust-based, lightweight unikernel
Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as... -
4
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. -
Cut Data Warehouse Costs up to 54% with BigQueryBigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.
-
5
Xyris
The Xyris Kernel
Xyris is a microkernel-based operating system developed with a focus on modularity, simplicity, and modern code practices. Written in C++, Xyris separates drivers and system services into isolated components using message passing, in line with microkernel philosophy. It’s designed as a research and hobbyist OS, with a clean codebase and early implementations of multitasking, system calls, and filesystem abstractions. -
6
XNU
Legacy mirror of Darwin Kernel
Darwin XNU is the hybrid kernel that powers Apple’s macOS, iOS, watchOS, and tvOS operating systems, forming the foundation of the Darwin open-source core. The name XNU stands for X is Not Unix, highlighting its origin as a combination of multiple kernel technologies—primarily the Mach microkernel from Carnegie Mellon University, integrated with substantial components from FreeBSD and Apple’s proprietary IOKit driver framework. This hybrid architecture merges the microkernel model’s message-passing flexibility with the monolithic performance and direct hardware control typical of Unix-like systems. XNU handles essential kernel responsibilities such as memory management, multitasking, interprocess communication (IPC), device I/O, system calls, security enforcement, and scheduling across both single and multi-core architectures. -
7
Resea
A microkernel-based hackable operating system
resea is a small, message-passing-based operating system kernel designed with microkernel principles in mind. Written in C with minimal dependencies, it emphasizes modularity, isolation, and simplicity. resea includes a basic POSIX-like interface and supports multitasking, IPC, and user-space services. It serves as both a microkernel OS experiment and a platform for learning about low-level system design without the complexity of larger operating systems. -
8
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. -
9
PowerNex
An operating system written in D
PowerNex is a microkernel operating system written entirely in the Nim programming language. Designed as a learning and research project, it explores OS development using a modern high-level systems language while still offering low-level control. PowerNex focuses on modularity, simplicity, and code clarity. While still in its early stages, the project includes basic kernel functionality, including memory management, task switching, and a custom bootloader, offering insight into building an OS from the ground up using newer programming paradigms. -
Managed MySQL, PostgreSQL, and SQL Databases on Google CloudCloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
-
10
DayOS ist ein freies und kostenlos erhältliches Hobby Betriebssystem, das das ziel hat, einen sicheren und schnellen Microkernel für den Alltagsgebrauch zu entwickeln. Es wird in C/C++ und x86 Assembler geschrieben.
-
11
pirix
microkernel operating system
-
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.
-
13
lyos
An Open Source Operating System
Lyos is an open source operating system that runs on 32-bit x86-based PCs. -
14
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.
-
15
OOSys is a plan to create an object-oriented operating system based on classes and objects instead of files and programs, with a strong focus on both clean design and practical usefulness. As a start, we are developing a microkernel.
-
16
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.
-
17
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.
-
18
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.
-
19
-
20
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.
-
21
The Dynamo Kernel Project intends to create a functional yet modular, powerful yet scalable microkernel for home, business and industry.
-
22
j2ee4all is a height level J2EE framework. Based on MicroKernel Component and Service Layering architecture.
-
23
Argos is a middleware system that lets you easily create and deploy software components, webpages, widgets, J2ME applications and panels and bind them together into services. Argos uses a microkernel that enables developers to extend the system functiona
-
24
Open source NGOSS project that is devoted to build open, integrated seamlessly and collaborative NGOSS solution.We adopt a Microkernel, Pure Plugin and Web Oriented architecture based on OSGi, Eclipse and REST to realise NGOSS concepts.
-
25
This is a simulation of an open CPU, called 67-80-85. It tries to implement a simple, efficient CPU. It includes the simulator, an assembler, a sample code for a boot loader (ROM), a microkernel prototype and tests. - "The 3-legged shinning steel horse
