Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for operating system microkernel
microkernel
x
operating-system
x
48 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
Sel4
⭐
4,435
The seL4 microkernel
Nebulet
⭐
2,284
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
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.
Ghost
⭐
531
Ghost, a micro-kernel based hobby operating system.
Resea
⭐
473
A microkernel-based hackable operating system.
Unikernels
⭐
396
Unikernel and immutable infrastructures
Poplar
⭐
241
Microkernel and userspace written in Rust exploring modern ideas
Escape
⭐
174
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
Haiway
⭐
134
Haiway Edge Computing OS
Cleese
⭐
108
an operating system in Python
Phoenix Rtos Kernel
⭐
99
Phoenix-RTOS microkernel repository
Microkernel Book
⭐
97
Moonos
⭐
91
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Fiasco
⭐
85
The development version of the L4Re Microkernel
Jsix
⭐
65
A hobby operating system for x86_64, boots with UEFI.
L4re Core
⭐
63
The core components of the L4Re operating system.
Munix Legacy
⭐
57
🦠 µnix is a UNIX-like operating system
Toddler
⭐
55
Toddler is a well-designed usable and portable microkernel OS
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
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.
Sigma
⭐
25
Abandoned overcomplicated Microkernel using modern x86_64 features
Sparkle
⭐
24
✨ a microkernel in Rust
Rxinu
⭐
23
Rust implementation of Xinu educational operating system
Nightos
⭐
21
A highly secure, performant and robust operating system for the future 🌔 🚀
Microkernel
⭐
21
Research Microkernel for Manycores
Dandelion
⭐
20
🌀 Microkernel Real-Time Operating System in Rust
Kernel
⭐
19
Kernel for the Oro Operating System
Mcube
⭐
19
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Kwast
⭐
18
Rust operating system running WebAssembly as userspace in ring 0
Project Dionysus
⭐
17
A research kernel written in modern C++.
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
Tachyos
⭐
14
Embedded OS for IoT
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!
Thesis Documentation Fuchsia
⭐
13
Notes and the actual elaboration for my master's thesis on different operating system approaches.
Urd
⭐
10
A Unix-like and microkernel-based operating system for ARM
Hadron
⭐
8
The Hadron microkernel
Microk
⭐
8
A reliable microkernel that is intended for every use on every device
Nexnix
⭐
7
The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power
Hasenpfeffer
⭐
7
A toy/educational operating system on top of L4 microkernel
Os3
⭐
6
OS/2 personality (OS/2 API implementation on top of different kernels)
Moth
⭐
6
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Kludgeos
⭐
6
A microkernel OS that features readability and simplicity, providing a starting point for OS hobbyists
Cardinal Semicolon
⭐
5
Cardinal; - An extremely modular, security oriented microkernel operating system.
Mikaboo
⭐
5
MicroKernel for Armv7 Bologna Operating systems course
Related Searches
C Operating System (1,831)
Shell Operating System (1,635)
Javascript Operating System (1,476)
C Plus Plus Operating System (1,257)
Kernel Operating System (926)
Objective C Operating System (920)
Operating System Assembly (405)
Operating System X86 (295)
Raspberry Pi Operating System (203)
Qemu Operating System (162)
1-48 of 48 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.