Awesome Open Source

Programming Languages

Search results for kernel microkernel

79 search results found

Harmonyos ⭐ 18,477

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

Redox ⭐ 14,520

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rt Thread ⭐ 9,221

RT-Thread is an open source IoT real-time operating system (RTOS).

Helenos ⭐ 1,265

A portable microkernel-based multiserver operating system written from scratch.

Managarm ⭐ 1,258

Pragmatic microkernel-based OS with fully asynchronous I/O

Genode OS Framework

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

Openharmony ⭐ 673

华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。

F9 Kernel ⭐ 563

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Ghost, a micro-kernel based hobby operating system.

Mirror of https://gitlab.redox-os.org/redox-os/kernel

Xous Core ⭐ 490

The Xous microkernel

Unikernels ⭐ 396

Unikernel and immutable infrastructures

NOVA Microhypervisor

Microkernel and userspace written in Rust exploring modern ideas

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

Pistachio ⭐ 210

L4Ka::Pistachio micro-kernel

Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

Phoenix Rtos Kernel ⭐ 99

Phoenix-RTOS microkernel repository

MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.

The development version of the L4Re Microkernel

POK kernel. Safe and secure for safety-critical systems.

Official mirror of the Muen Separation Kernel repository

Microkernel-based system for heterogeneous manycores

A hobby operating system for x86_64, boots with UEFI.

Ewok Kernel ⭐ 59

A secure and high performances microkernel for building secure MCU-based IoTs

Munix Legacy ⭐ 57

🦠 µnix is a UNIX-like operating system

Toddler is a well-designed usable and portable microkernel OS

mirror of git://git.code.sf.net/p/monartis/openqnx

Lf Os_amd64 ⭐ 38

Hobby operating system for amd64 with high ambitions - mirror

Sirius Kernel ⭐ 34

Provides common core classes and the dependency injection microkernel powering all SIRIUS applications

Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a high level functional language to study the developement process and the use of Scheme to build a fairly complex system.

Singpolyma Kernel ⭐ 27

A basic microkernel

Abandoned overcomplicated Microkernel using modern x86_64 features

An OS based on a x86-Microkernel written in FreeBASIC.

Rust implementation of Xinu educational operating system

Microkernel ⭐ 21

Research Microkernel for Manycores

Microkernel ⭐ 21

A personal x86 kernel - Dead, I'll write it down again from scratch.

Simple microkernel (early stage)

Kernel for the Oro Operating System

Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models

Exokernel/framework intended to ease the development of pure user space OS kernels

My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.

A small experimental microkernel for embedded systems

Rust operating system running WebAssembly as userspace in ring 0

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

Project Dionysus ⭐ 17

A research kernel written in modern C++.

[in-progress] toy rust microkernel and operating system for riscv64

Gnumach_smp ⭐ 16

SMP implementation in GNU Mach

Cthulhu Os ⭐ 16

x86-64 SMP enabled microkernel hobbyist OS

A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.

NOVA Microhypervisor

Zambesii ⭐ 14

Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully asynchronous and the kernel is aimed at high-scaling, high-throughput-requiring multiprocessor workloads, with working support for SMP and NUMA already implemented. Join the IRC channel, #zbz-dev on freenode!

Ulipertosv4 ⭐ 12

Simple preemptive, realtime, multitask kernel made just for fun.

A minimal experimental microkernel

Development moved to https://github.com/mhsys/mh

Wabisabi ⭐ 11

A modular web assembly microkernel os for the web

Brittle Kernel ⭐ 11

A security-oriented microkernel for Cortex-M microcontrollers

An x86/64 Separation Kernel for High Assurance

Magenta Microkernel

RTOS based on L4 microkernel.

A reliable microkernel that is intended for every use on every device

Many Threads Operating System

The Hadron microkernel

Sputnikvm On Rux ⭐ 8

SputnikVM for embedded devices.

Google Fuchsia Magenta ⭐ 8

A microkernel designed as an engine for monolithic kernel development

capability-passing "microkernel" for safely isolating WebAssembly modules

Tiny operating system for aarch64 devices

OS/2 personality (OS/2 API implementation on top of different kernels)

Avant-garde display server

A simple microkernel operating system

Fork of gnumach

Minimalist cooperative operating system supporting multiple tasks with MMU protection

Cardinal Semicolon ⭐ 5

Cardinal; - An extremely modular, security oriented microkernel operating system.

On hold until further notice. Uses HertzScript coroutines to implement preemptively multitasked JavaScript Green threads.

Horizon Microkernel ⭐ 5

A hobby operating system written in C.

MicroKernel for Armv7 Bologna Operating systems course

Related Searches

C Kernel (12,841)

Kernel Unix (6,775)

Python Kernel (1,566)

Shell Kernel (1,456)

Kernel Driver (1,451)

C Plus Plus Kernel (1,226)

Jupyter Notebook Kernel (622)

Kernel Operating System (574)

Kernel Qemu (524)

Kernel Arm (428)

1-79 of 79 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.