Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for microkernel
microkernel
x
157 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).
Sel4
⭐
4,435
The seL4 microkernel
Nebulet
⭐
2,284
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Zcore
⭐
1,616
Reimplement Zircon microkernel in Rust.
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
⭐
995
Genode OS Framework
Brutal
⭐
990
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
Mit6.828_os
⭐
750
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.htm
Openharmony
⭐
673
华为开源鸿蒙分布式操作系统(Huawei OpenHarmony)开发技术交流,鸿蒙技术资料,手册,指南,共建国产操作系统万物互联新生态。
Freenos
⭐
670
FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.
F9 Kernel
⭐
563
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Ghost
⭐
531
Ghost, a micro-kernel based hobby operating system.
Kernel
⭐
519
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Xous Core
⭐
490
The Xous microkernel
Resea
⭐
473
A microkernel-based hackable operating system.
Ozjs
⭐
433
A microkernel for modular javascript, a toolchain for modern front-end, a micro-framework for growable WebApp
Unikernels
⭐
396
Unikernel and immutable infrastructures
Jackrabbit Oak
⭐
370
Apache Jackrabbit Oak
Nova
⭐
347
NOVA Microhypervisor
Microkernel
⭐
295
MicroKernel是一个客户端微内核架构
Poplar
⭐
241
Microkernel and userspace written in Rust exploring modern ideas
Rux
⭐
220
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Recc
⭐
214
A collection of compiler, emulator and microkernel tools.
Pistachio
⭐
210
L4Ka::Pistachio micro-kernel
Minos
⭐
176
Flexible Virtualization Solution for Embedded System
Escape
⭐
174
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Rdsn
⭐
145
Haiway
⭐
134
Haiway Edge Computing OS
Mystikos
⭐
129
Tools and runtime for launching unmodified container images in Trusted Execution Environments
Diosix
⭐
122
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Cleese
⭐
108
an operating system in Python
Qnxsecurity
⭐
108
QNX and BB10 Security Tools
Phoenix Rtos Kernel
⭐
99
Phoenix-RTOS microkernel repository
Microkernel Book
⭐
97
Codezero
⭐
91
Codezero Microkernel
Moonos
⭐
91
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Trinix
⭐
90
First operating system written in D lang v2
Fiasco
⭐
85
The development version of the L4Re Microkernel
Blockerized Dockchain
⭐
85
Because all problems are solvable with containers and blockchains
M7m01_mueukaron
⭐
81
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
Pok
⭐
79
POK kernel. Safe and secure for safety-critical systems.
Multizone Sdk
⭐
74
MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi
Muen
⭐
73
Official mirror of the Muen Separation Kernel repository
M3
⭐
66
Microkernel-based system for heterogeneous manycores
Jsix
⭐
65
A hobby operating system for x86_64, boots with UEFI.
Tpp Mlir
⭐
63
TPP experimentation on MLIR for linear algebra
L4re Core
⭐
63
The core components of the L4Re operating system.
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
⭐
55
Toddler is a well-designed usable and portable microkernel OS
Openqnx
⭐
52
mirror of git://git.code.sf.net/p/monartis/openqnx
Curios
⭐
50
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).
Lyos
⭐
48
Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
Apoptos
⭐
39
A modern x86_64 UNIX-like microkernel-based operating system
Lf Os_amd64
⭐
38
Hobby operating system for amd64 with high ambitions - mirror
Mavis
⭐
38
A proof-of-concept using WASM runtime as a kernel
Symfony Micro
⭐
37
Use Symfony as a microframework.
Sbt Akka Bivy
⭐
35
"BivySack" For Akka - SBT plugin which creates a full akka microkernel deployment for your project. Stays crunchy in milk!
Myframe
⭐
35
C++ application framework(基于actor模型,微内核设计理念实现的C++组件化编程应用程序框架)
Sirius Kernel
⭐
34
Provides common core classes and the dependency injection microkernel powering all SIRIUS applications
Rust_os
⭐
32
My hobby operating system microkernel written in Rust
Awooos
⭐
29
some kind of operating system
Dux
⭐
29
An operating system.
Cxkernel
⭐
28
A hobbyist operating system created from scratch.
Fpos
⭐
27
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
Sigma
⭐
25
Abandoned overcomplicated Microkernel using modern x86_64 features
Frost
⭐
25
An OS based on a x86-Microkernel written in FreeBASIC.
Sparkle
⭐
24
✨ a microkernel in Rust
Rxinu
⭐
23
Rust implementation of Xinu educational operating system
Quic Lb
⭐
23
An implementation of the QUIC Load Balancing Algorithm, described in https://datatracker.ietf.org/doc/draft-ietf-quic-l
Pho Microkernel
⭐
22
Framework, enhanced with Services (such as persistence, indexing etc.) and ACL (access-control-lists)
Nightos
⭐
21
A highly secure, performant and robust operating system for the future 🌔 🚀
Razor Vagrant Demo
⭐
21
A demo of Razor using Vagrant.
Kaneton
⭐
21
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
Microkernel
⭐
21
Research Microkernel for Manycores
Microkernel
⭐
21
A personal x86 kernel - Dead, I'll write it down again from scratch.
Fuchsianotes
⭐
21
Magenta and Fuchsia notes
Dandelion
⭐
20
🌀 Microkernel Real-Time Operating System in Rust
Fukuro
⭐
20
Simple microkernel (early stage)
Cerk
⭐
20
CloudEvents Router with a Microkernel
Gaia
⭐
19
Exokernel/framework intended to ease the development of pure user space OS kernels
Mcube
⭐
19
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Hanlon Microkernel
⭐
19
A small (in-memory) Microkernel used by the Hanlon server for discovery of new nodes
Kernel
⭐
19
My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.
Kernel
⭐
19
Kernel for the Oro Operating System
K5
⭐
19
A small experimental microkernel for embedded systems
Kwast
⭐
18
Rust operating system running WebAssembly as userspace in ring 0
Project Dionysus
⭐
17
A research kernel written in modern C++.
Microkernel
⭐
17
Microkernel for Server Applications
Cherios
⭐
17
CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
Multizone Linux
⭐
16
MultiZone® Security Enclave for Linux
Gemmdemo.jl
⭐
16
A pure-Julia, BLIS-style dgemm demo.
Gnumach_smp
⭐
16
SMP implementation in GNU Mach
Mu
⭐
16
[in-progress] toy rust microkernel and operating system for riscv64
Saturn
⭐
16
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
Cthulhu Os
⭐
16
x86-64 SMP enabled microkernel hobbyist OS
Related Searches
C Microkernel (119)
Kernel Microkernel (118)
1-100 of 157 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.